Guten Tag, meine Aufgabe ist es einen gegebenen NFA in einen DFA umzuwandeln. Ist meine Lösung richtig? =)
NFA
zo z1 z2
o z1
1 z1 {z1, z2}
z2 geht nirgendwohin und ist der Endzustand.
Mein DFA ist:
z0 z1 {z1, z2}
0 z1 z1
1 z1 {z1, z2} {z1, z2}
z2 geht nirgendwohin
wofür dann z2?
mal den Automaten mal auf. Wenn zu jedem Zeitpunkt mit jedem gelesenen Zeichen der nächste Zustand EINDEUTIG klar ist, stimmt dein Automat.