24.07.2013 Aufrufe

bildschirm

bildschirm

bildschirm

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!