Verständnisfrage: Minimal-Automat, nicht-erreichbarer Zustand, Vollständigkeit |
16.03.2015, 01:49 | Auf diesen Beitrag antworten » | ||
Nightingale | Verständnisfrage: Minimal-Automat, nicht-erreichbarer Zustand, Vollständigkeit Hallo, ich habe einen gegebenen DEA minimiert, wobei sich eine Verständnisfrage bezüglich eines nicht-erreichbaren Zustands ergab. Hier erst einmal meine Anwendung der Minimierung, falls sich ein Fehler eingeschlichen haben sollte.
Hier nun der minimierte DEA: Man sieht das z4 weder Startzustand ist, noch von den anderen Zuständen erreicht werden kann. Durch die Minimierung ist dieser Zustand jedoch nicht weggefallen. Meine Frage: Ist das nun der korrekte und vollständige Minimal-Automat, oder könnte man z4 genauso gut wegfallen lassen? Ist der Automat dann nicht noch minimaler, aber gilt dann nicht mehr als vollständig? Bei einem Toten Zustand sähe ich ein, dass der gebraucht würde, alleine um aus dem DEA keinen NEA werden zu lassen, aber bei z4 bin ich mir unsicher. Evtl. kann mich jemand aufklären? |
||
|
|||
16.03.2015, 09:28 | Auf diesen Beitrag antworten » | ||
Karlito | Die Minimierung ist bis dahin korrekt (bin mit anderem Verfahren auf das gleiche Ergebnis gekommen). konnte schon im Ursprungsautomaten nicht erreicht werden. Du hättest es also da schon weg fallen lassen können und sollen, da nicht erreichbare Zustände für den Automaten keine Bedeutung haben. (Erspart dann auch ein wenig Arbeit) Die Minimierung fasst nur äquivalente Zustände zusammen. Es fallen also eigentlich keine Zustände weg, sie werden nur zu einem neuen Zustand zusammengefasst, der sich äquivalent zu der zusammengefassten Zustandsmenge verhält. Edit: Fazit: ja, muss noch weg. Gruß, Karlito |
||
18.03.2015, 02:28 | Auf diesen Beitrag antworten » | ||
Nightingale | Super, dankeschön. Das ergibt Sinn. Sorry für die verspätete Antwort, war ein paar Tage weg. Wie genau binde ich denn die LaTeX-Ausdrücke so schon ein? Ich wollte morgen/nachher nämlich noch einen Thread bzgl. Reduktion auf machen und nicht schon wieder alles als selbst-gekritzelte Screenshots hochladen. Bist Du in Reduktion auch so fit und kannst mir etwas auf die Sprünge helfen? Prinzip ist klar, bei der Anwendung haperts nochn bissel, hehe. Egal, bis später erstmal und noch mal besten Dank für die Hilfe. |
||
18.03.2015, 12:48 | Auf diesen Beitrag antworten » | ||
Karlito | Hallo Nightingale, ich denke, dass ich relativ fit bin, wende aber ein anderes Verfahren an. Du kannst deine Fragen deshalb gerne hier stellen. Latex bindet man hier ein, indem man den Latex-Code in [latex] [/latex] einbettet. Gruß, Karlito |
||
Anzeige | |||
|
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |
|