bildschirm
bildschirm
bildschirm
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Pumping-Lemma: Formal<br />
Theorem 15.1 (Pumping-Lemma für L3-Sprachen)<br />
Sei L ∈ RAT.<br />
Dann existiert ein n ∈ N, so dass:<br />
Für alle<br />
x ∈ L mit |x| ≥ n<br />
existiert eine Zerlegung<br />
mit<br />
x = uvw u,v,w ∈ Σ ∗<br />
|v| ≥ 1<br />
|v| < n<br />
uv m w ∈ L für alle m ∈ N<br />
B. Beckert – Grundlagen d. Theoretischen Informatik: Pumping-Lemma SS 2007 193 / 229