Minimierung von Automaten

unter Beibehaltung der Eigenschaft, dass es für jedes Zeichen einen Zustandsübergang gibt.

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Minimierung von Automaten
Nur um sicher zu gehen: das ist eine ganz „normale“ Minimierung bei der alle Kanten eingetragen werden sollen, right?


Mich hat der Nachsatz auch verwirrt. Aber ja, davon gehe ich aus.


Das heißt einfach dass du den Fehlerzustand nicht weglassen darfst.


was wieder heißt, immer 2 Kanten bei deterministischen eintragen … ? :smiley: thx

Edit: was ist dann mit „nutzlosen“ Zuständen? Die darf man nach wie vor weglassen wenn keine Kante hinführt?


Was meinst du mit Fehlerzustand? Die Zustände, die sozusagen in eine Sackgasse führen, man also nicht mehr in einen akz. Endzustand kommt?
Wenn nicht, was würde mit denen passieren? Einfach weglassen? (Bringen einem bei der Minimierung doch sowieso nichts?)


Den Zustand. Die fallen nämlich bei der Minimierung alle zusammen (sollten sie zumindest).


Ich nehme an du hast diese Formulierung aus dem bfs-braindump-2010-04. Meine Lösung für die entsprechende Aufgabe ist, dass man B und C fusionieren kann (die Eigenschaft bleibt dabei automatisch erhalten). Kann das jemand bestätigen?


So hab ich das auch verstanden und gemacht. Man kann bei dem Automaten auch mit jedem Zeichen weiter gehen und eine Regel anwenden. Denke mal, dass das damit gemeint war.