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 />
Das Universalitätsproblem<br />
Ist definiert als {A | L(A) = Σ ∗ }.<br />
Satz 22<br />
Das Universalitätsproblem ist entscheidbar.<br />
Beweis: Übungsaufgabe.<br />
Komplexität: NL-vollständig (Wegsuche in gerichteten Graphen)<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 54