01.03.2014 Aufrufe

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

Automatentheorie und ihre Anwendungen Teil 1: endliche ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!