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 />
Potenzmengenkonstruktion<br />
Antwort<br />
Nein, DEAs <strong>und</strong> NEAs sind gleichstark.<br />
Satz 5<br />
Sei A ein NEA.<br />
Dann gibt es einen DEA A d mit L(A d ) = L(A).<br />
Beweis: siehe Tafel.<br />
•<br />
Im schlimmsten Fall kann A d im Vergleich zu A<br />
exponentiell viele Zustände haben (s. Hopcroft et al. 2001, S. 65).<br />
Thomas Schneider <strong>Automatentheorie</strong> 1: <strong>endliche</strong> Wörter 11