Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten<br />
Minimale vDEAs<br />
Minimierung von DEAs<br />
Unsere Haupt-Konstruktionen von vDEAs (erreichbarer PMA) vermeidet<br />
unerreichbare Zustände, aber können wir auch sicher sein, daß in vDEAs<br />
die Zustandszahl minimal ist (Effizienz der Implementierung)<br />
Nein, denn wir können die Zahl der erreichbaren Zustände vergrößern,<br />
ohne die akzeptierte Sprache zu verändern:<br />
Beispiel<br />
1<br />
start q 0 q1<br />
1<br />
0<br />
0 0 0 0<br />
0<br />
1<br />
q 2 q 3 q 4<br />
1<br />
1<br />
Umgekehrt gilt es festzustellen, ob in einem vDEA evtl. Zustände<br />
zusammengefaßt werden können, wie q 3 und q 4 im obigen Beispiel.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 1 WS 2010/2011 86 / 191
Change language