Automaten-Zeichnung für modulo 2
-
Hey Leute!
Ich will einen Automaten für den Ausdruck L zeichnen:
L={w aus Σ*Bool | |w| mod 2 = 0}
Hier der link zu meiner Zeichnung: http://imageshack.us/photo/my-images/851/mod2o.jpg/
Stimmt der Automat?
-
Nein, der stimmt nicht - dein Automat akzeptiert die Sprache { w | |w|≥2 }
Nur mal als Denkansatz: In einem akzeptierenden Zustand hast du ein (Teil)Wort, das in der Sprache vorkommt (d.h. eine gerade Länge). Wenn du an dieses Wort einen weiteren Buchstaben anhängst, liegt das neue Wort nicht in der Sprache.
-
Hm, also die 3 Zustände sollten aber schon mal stimmen oder? Der akzeptierende am Schluss auch. Brauch ich noch eine Schleife am Anfang?
-
Ich wäre mit zwei Zuständen ausgekommen - und wie gesagt ist die Eigenschleife im Endzustand nicht gerade kompatibel mit der Sprachdefinition.
-
So, hier nochmal ein Versuch: http://imageshack.us/photo/my-images/219/mod2op.jpg/
edit: Die kantenwerte fehlen. das ist bei jedem pfeil eine 0,1
-
Wenn du jetzt noch die Eigenschleife weglässt (und die übrigen Kanten beschriftest), sollte es hinkommen.
-
Was bewirkt die Eigenschleife? Die bewirkt doch, dass alle nachfolgenden Symbole nach den ersten Beiden aufgefressen werden, oder? Da ich aber laut Sprachdefinition ein jedes Wort akzeptiert haben will, für das |w| mod2 = 0 gilt, muss eben genau diese weg.
Stimmts?
