Ist der DEA richtig?
-
Hier der Automat für "Anzahl a durch 2 teilbar und Anzahl b durch 3 teilbar": http://s14.directupload.net/file/d/3308/96f38xs9_jpg.htm
Er hat nun 6 Zustände und ich hab einige Wörter ausprobiert, die alle gepasst haben. Könnt ihr nochmal überprüfen?
-
Du bildest das Produkt aus einem Automaten mit 2 und einem Automaten mit 3 Zuständen. Was hälst du davon, die Zustände in einer 2x3-Matrix aufzuzeichnen und die Zustände mit zwei Zahlen statt nur einer zu indizieren? Dann hätten die Indizes einen Sinn und es wäre deutlich übersichtlicher.
-
Soll ich für den Automaten oben eine Tabelle schreiben, welcher Zustand mit welchem Zeichen wo hingeht? Meinst du das?
-
Nein, du sollst die Zustände im Bild sinnvoll anordnen. Bei dir gehen die Kanten kreuz und quer durch den Graphen und man hat keine Ahnung, was genau ein Zustand denn aussagen soll. Vergleiche das mal mit dem hier:
http://s14.directupload.net/file/d/3308/ho493es3_png.htm
Ist dieser Automat korrekt? Das kann man beim ersten Hinschauen entscheiden.
-
Wenn ich meinen Automaten nun so in der Art und Weise entzerre, dann komm ich auf den gleichen Automaten die da gezeigt wird. Ich gehe also davon aus, dass mein Automat richtig ist!
Vielen Dank!