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 Wortproblem<br />
Ist definiert als {(A, w) | w ∈ L(A)}.<br />
Satz 20<br />
Das Wortproblem ist entscheidbar.<br />
Beweis: Reduktion zum Leerheitsproblem – siehe Tafel.<br />
•<br />
Komplexität: NL-vollständig (modifizierte Wegsuche)<br />
(Reduktion liefert nur „in EXPTIME“)<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 52