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 Äquivalenzproblem<br />
Ist definiert als {(A 1 , A 2 ) | L(A 1 ) = L(A 2 )}.<br />
Satz 21<br />
Das Äquivalenzproblem ist entscheidbar.<br />
Beweis: Siehe Tafel.<br />
•<br />
Komplexität: für DEAs in P, für NEAs PSPACE-vollständig<br />
(aus Beweis folgt nur „in EXPTIME“)<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 53