|
Weitere Reduzierung des deterministischen Automaten MErgänzung-det |
Der bereits reduzierte Automat enthält wiederum Zustände, die nicht erreicht werden.
Auch diese werden entfernt (gegebenenfalls wird dieser Vorgang wiederholt, bis nur noch erreichbare Zustände übrig bleiben):
Hinweis: Durch geschickte Konstruktion des DEA aus dem NEA werden von Anfang an nur erreichbare Zustände berücksichtigt.
Dazu wird nicht pauschal für alle Zustände die neue Übergangsfunktion berechnet.
Es werden nur Zustände berücksichtigt, die Ergebnis eines Übergangs sind.
Im Beispiel wäre die Reihenfolge folgende: {q0}, {q1q2}, {q3}.
Ab diesem Punkt kommen keine neuen Zustände mehr hinzu.
|
|
Benutzer: Gast •
Besitzer: matthias • Zuletzt geändert am:
|
|
|
1
2
3