Automaten und Formale Sprachen“ alias ” Theoretische Informatik ...

Reguläre Sprachen
Das Pumping-Lemma
Pumping-Lemma
Kochrezept“ für das Pumping-Lemma
”
3 Betrachte nun alle möglichen Zerlegungen x = uvw mit den
Einschränkungen |v| ≥ 1 und |uv| ≤ n.
Beispiel: hier gibt es nur eine mögliche Zerlegung u = a j , v = a l ,
w = a m b n mit j + l + m = n und l ≥ 1.
4 Wähle für jede dieser Zerlegungen ein i (das kann jedes Mal ein
anderes i sein), so dass uv i w ∉ L. (In vielen Fällen sind i = 0 und
i = 2 eine gute Wahl.)
Beispiel: wähle i = 2, dann gilt uv 2 w = a j+2l+m b n ∉ L, da
j + 2l + m ≠ n.
Sander Bruggink Automaten und Formale Sprachen 152