Automaten und Formale Sprachen Tutorium - Teil IV.
Automaten und Formale Sprachen Tutorium - Teil IV.
Automaten und Formale Sprachen Tutorium - Teil IV.
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Das Pumping-Lemma für kontext-freie <strong>Sprachen</strong><br />
Sei L ⊆ Σ ∗ eine kontext-freie Sprache.<br />
Dann gibt es eine natürliche Zahl p ∈ N derart, dass sich jedes<br />
Wort w ∈ L mit |w| ≥ p zerlegen lässt in fünf <strong>Teil</strong>worte<br />
mit<br />
1 |vy| > 0<br />
2 |vxy|<br />
<br />
≤ p<br />
3<br />
uv<br />
i∈N<br />
ixy iz ∈ L<br />
w = uvxyz<br />
Vorsicht!<br />
Es gilt L ∈ L2 → PLkfS(L)<br />
Es gilt nicht PLkfS(L) → L ∈ L2<br />
Christopher Blöcker AFS <strong>Tutorium</strong>