01.03.2014 Aufrufe

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

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.

Gr<strong>und</strong>begriffe Textsuche Abschlusseig. Reguläre Ausdrücke Charakterisierungen Entscheidungsprobleme<br />

Bemerkungen zum Pumping-Lemma<br />

Bedingung in Satz 16 ist notwendig dafür,<br />

dass L NEA-erkennbar ist.<br />

nicht hinreichend (Bsp.: {a m b n c n | m, n 1} ∪ {b m c m | m, n 0})<br />

❀ Pumping-L. nur zum Widerlegen von Erkennbarkeit<br />

verwendbar,<br />

nicht zum Beweisen, dass L regulär ist<br />

Notwendige <strong>und</strong> hinreichende Bedingung: Jaffes Pumping-L.<br />

Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 41

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!