Alternativer Beweis

Question

Hallo,

wäre es auch möglich, das Pumping-Lemma folgendermaßen zu begründen:

a)vx enthält nur a's oder b's wie in der Lösung

b)vx enthält a's und b's mit folgender Unterscheidung:

   -vx enthält gleich viel oder mehr a's als b's: Hier wäre für jedes i>1 die Bedingung          |z|a = |z|b^2 verletzt.

   -vx enthält mehr b's als a's: Hierzu werden zwei i's mit i=0 und i>1 gewählt, um mögliche, zufälligerweise passende Konstellationen zu vermeiden, bei denen |z|a = |z|b^2 gilt. Aufgrund der zwei Variablen wird mit mind. einer der beiden diese Bedingung verletzt.

 

Oder kann algemein nur immer mithilfe eines i-Wertes argumentiert werden?

Answer 1

Hallo udeqy,

ja, meiner Meinung nach wäre diese Begründung auch korrekt!

Gruß,
Janine (Tutorin)