Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in PUM-AK

Beantwortet: Pumpvariable i=0

Sun, 15 Jan 2017 11:43:59 +0000

Man kann die Argumentation auch mit i=0 führen.

vx enthält kein c: Wort z' enthält weniger a’s und/oder weniger b’s als z. Die Anzahl der c's bleibt aber gleich -> z' ist nicht Teil der Sprache

vx enthält kein a: für jedes "gelöschte" b müssen k c's "gelöscht" werden -> vx muss mindestens k+1 Zeichen enthalten oder leer sein -> Widerspruch -> z' ist nicht Teil der Sprache

Viele Grüße

Philipp (Tutor)

Beantwortet: alternativ Lösung

Sat, 14 Jan 2017 15:48:38 +0000

Hallo,

am Ende schreibst du, dass die gepumpten Wörter nicht mehr Teil der Sprache sind, jedoch die Tatsache, dass die Anzahl der „a's zum Quadrat […] ungleich der Anzahl der c's „“ sind, ist noch kein Anzeichen dafür, dass das Wort nicht mehr Teil der Sprache ist.
Beispiel aabcc ist Teil der Sprache, obwohl Anzahl a's zum Quadrat ungleich der Anzahl der c's ist.
Hier müsstest du schon wie in der Musterlösung argumentieren.

Die Beiden Fälle hast du ja grundlegend wie der in der Musterlösung erkannt:
1) vx enthält kein c (du schreibst hier „enthält min ein a“ was auch nicht ganz korrekt ist, weil es kann auch nur b enthalten. Wichtig ist eben, dass es kein c enthält)
2) vx enthält kein a

Grüße, Sören (Tutor)

Kommentiert: Ist es auch richtig 3 statt nur 2 Fälle wie in der Lösung zu untersuchen?

Mon, 08 Feb 2016 09:15:22 +0000

Alles klar, danke für deine Antwort!

Ja das ist tatsächlich nur Mehraufwand, der letztendlich nichts bringt, doch wenn ich die Aufgaben selbst mache, komme ich nicht immer auf die Lösung mit den wenigsten zu untersuchenden Fällen und teile das teilweise zu fein auf. Aber wie du ja meintest, ist eine zu feine Aufteilung (auch wenn sie nicht mehr bringt), auch nicht falsch.