Der Automat M = ({q0,...,q5},{a,b}, ,q0,{q3,q4}),
wobei die Übergänge am Graphen abgelesen werden können, ist zu minimieren.
|
Minimieren Sie den nebenstehenden Automaten M!
(0. Schritt: Die Graphdarstellung des Automaten ist vollständig, es müssen keine weiteren Übergänge beachtet werden.)
1. Schritt: Aufbau der Matrix
2. Schritt: Markieren aller Paare, die nur einen Endzustand enthalten.
Das sind alle Paare, die entweder q3 oder q4 enthalten.
| 1 | | | | |
| 2 | | | | |
| 3 | * | * | * | |
| 4 | * | * | * | |
| 0 | 1 | 2 | 3 |
3. Schritt: Berechnen von {(q,a), (q',a)} (für jedes verbleibende Zustandspaar und jedes Eingabesymbol)
und überprüfen, ob das Ergebnispaar markiert ist.
|
1
2
3
4
Schritt 4