Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
Automatentheorie und ihre Anwendungen Teil 1: endliche ...
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