Ist der DEA richtig?
-
Nein, der ist offensichtlich falsch. Was passiert denn, wenn das Wort mit b beginnt?
Außerdem ist der Automat mit 6 Zuständen realisierbar.Das sieht schon wieder so aus wie drauflos geschrieben? Überleg dir doch jetzt noch mal, wie die Äquivalenzklassen für das Problem aussehen! Wie komme ich auf 6 Zustände?
-
Naja, die Äquivalenzklassen, sind wohl die aus b's durch 3 teilbar und a's durch 2 teilbar.
Ich hab mir erst einen Automat für a durch 2 und dann den Automat für b durch 3 und dann mit PMK und Schnittmenge den neuen Automaten gebaut. Kann man das nicht so machen?
Edit: Ich hab übrigens nur die Transition b von q0 nach q4 vergessen hinzumalen. Und wer sagt nun, dass dieser Automat falsch ist? Er ist doch nur noch nicht Minimal, oder?
-
vip@r schrieb:
Ich hab mir erst einen Automat für a durch 2 und dann den Automat für b durch 3 und dann mit PMK und Schnittmenge den neuen Automaten gebaut. Kann man das nicht so machen?
Keine Ahnung, ob man das kann. Naheliegender wäre der Produktautomat.
-
Aaaahhhh, ich meinte ja die Produktautomatenkonstruktion. Ich hab mich nur verschrieben. Dieser Automat ist mit der Produktautomatenkonstruktion entstanden...
Ich müsste den wahrscheinlich nun nur minimieren und schon bekäme ich den Automaten den ihr auch habt...
-
Wieso hat dein Automat dann 9 Zustände? 2 mal 3 ist bei mir 6.
-
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!