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

Das Pumping-Lemma
Reguläre Sprachen
Das Pumping-Lemma
Pumping-Lemma (alternative Formulierung)
Sei L eine Sprache. Angenommen, wir können für jede Zahl n ein Wort
x ∈ L mit |x| ≥ n wählen, so dass folgendes gilt: für alle Zerlegungen
x = uvw mit
1 |v| ≥ 1,
2 |uv| ≤ n
gibt es eine Zahl i mit uv i w ∉ L. Dann ist L nicht regulär.
D.h., wir müssen zeigen, dass es für jedes n (für jede mögliche Anzahl von
Zuständen) ein Wort gibt, das mindestens so lang wie n ist und das keine
pumpbare“ Zerlegung hat.
”
Sander Bruggink Automaten und Formale Sprachen 150