15.09.2014 Aufrufe

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

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

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

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.

Das Pumping-Lemma<br />

Reguläre Sprachen<br />

Das Pumping-Lemma<br />

Beispiel: M = ({z 0 , z 1 , z 2 , z 3 }, {a, b, c}, δ, z 0 , {z 3 })<br />

z 0 c c<br />

z 1<br />

a<br />

b<br />

z 2<br />

b<br />

a<br />

z 3<br />

x = a c<br />

u<br />

c c<br />

v<br />

a ∈ T (M)<br />

w<br />

uv 0 w = a c<br />

u<br />

a ∈ T (M)<br />

w<br />

uv 2 w = a c<br />

u<br />

c c<br />

v<br />

c c<br />

v<br />

a ∈ T (M) . . .<br />

w<br />

Sander Bruggink <strong>Automaten</strong> <strong>und</strong> <strong>Formale</strong> Sprachen 147

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!