Untersuchen Sie, ob bei dem folgenden Automaten äquivalente Zustände existieren.
Bestimmen Sie gegebenenfalls den Minimalautomaten und zeichnen Sie den Zustandsgraphen.
Beachten Sie, dass das in der Vorlesung besprochene Verfahren nur für eine vollständige Überführungsfunktion definiert wurde.
| δ |
0 |
2 |
| z0 |
z1 |
z2 |
| z1 |
z1 |
z3 |
| z2 |
z2 |
z4 |
| z3 |
z2 |
– |
| z4 |
z1 |
– |
Der Startzustand ist z 0 und die Endzustände sind F = {z 3 , z 4 }.
Subato
