bildschirm
bildschirm
bildschirm
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Pumping-Lemma: Beweis<br />
Beweis (Fortsetzung)<br />
Wähle nun:<br />
Damit:<br />
u := x1 ...xi<br />
v := xi+1 ...xj<br />
w := xj+1 ...xt<br />
⎫<br />
⎬<br />
⎭<br />
Für alle m ≥ 0 gibt es Wege<br />
x = uvw mit 1 ≤ |v| < n.<br />
q0,...,qi−1,qi,...,qj = qi,...,qj = ··· = qi ...,qj,qj+1,...,qt<br />
<br />
m mal<br />
Also: uv m w wird von A akzeptiert.<br />
Also: uv m w ∈ L<br />
B. Beckert – Grundlagen d. Theoretischen Informatik: Pumping-Lemma SS 2007 198 / 229