Automaten aus gegebener Sprache konstruieren
-
Erstens sind die Bezeichnungen davor genau verkehrt herum und zweitens scheint der DEA auch nicht ganz richtig zu sein - dort fehlen imho eine ganze Menge an Kanten.
-
sorry, aber ich wüsste nicht wo ich da noch mehr kanten haben soll...
-
Hast du denn noch deine Unterlagen zur Umwandlung von NEA nach DEA greifbar? Ich skizziere mal den Anfang:
Startzustand: q0 -> {q0}
Zustand {q0}: 0: {q0, q1}, 1: {q0}
Zustand {q0, q1}: 0: {q0, q1}, 1: {q0, q2} //Nachfolger sind alle, die von einem der genannten Zustände erreichbar sind
...
-
So, noch ein Versuch. Jetzt sollte es aber stimmen...
-
Fehlt noch eine Eigenschleife - und einige Kantenbezeichnungen
-
genau deswegen hab ich den link auch wieder raus
-
Hier nochmal. Ich hoff dass das jetzt endlich stimmt:
http://imageshack.us/photo/my-images/87/45896514.jpg/
Wie ist das jetzt eigentlich wenn ich vomm letzten Zustand mit 1 alle Möglichkeiten durchprobiere? Teilzustand q0 im letzten Zustand des DEAs komm ich ja mit ner 1 auf q0 nach vorne. Was ist dann aber mit q2? Da komm ich ja laut NEA mit ner 1 nicht weiter... Wird dann einfach nix rangeschrieben? Stimmt das so?
-
vip@r schrieb:
Ich komm jetzt auf:
n%5 | n0%5 | n1%5 ------------------ 0 | 0 | 1 1 | 2 | 3 2 | 4 | 0 3 | 1 | 2 4 | 3 | 4Stimmt's jetzt? Wenn ja, wie kann man nun daraus den DEA ablesen?
Ich hab die Tabelle mal automatenähnlich gemalt: http://tinypic.com/view.php?pic=30wmlpx&s=7
Hübsch, gell?
-
Is aber schon falscher Thread, oder? Und warum kommst du von q3 auf q1 mit einer 0? Bei mir steht in der Tabelle in der 4. Zeile und in der 2. Spalte eine 1...
-
vip@r schrieb:
Is aber schon falscher Thread, oder?
Kann wohl sein, daß ich was verpeilt habe. Nichts für Ungut.
vip@r schrieb:
Und warum kommst du von q3 auf q1 mit einer 0? Bei mir steht in der Tabelle in der 4. Zeile und in der 2. Spalte eine 1...
Von q3 kommst Du durch eine 0 doch auch zu q1.
