nicht angemeldet
Hallo Marko,
wär ich voll der Crack, wär ich jetzt Diplominformatiker und würd ne Doktorarbeit schreiben, und kein Student mehr ;-)
;-)
Irgendwie bin ich jetzt echt schon ein bisserl Banane (sonst wär das eben nicht passiert), aber könnte es sein, dass die Übergangsfunktion:
(q2,c) -> q0 bedeutet, dass Du auf q2 kommst, wenn Du von q0 mit c springst.
Nein! Wenn der Automat im Zustand 2 ein c einliest, dann geht er in Zustand 0 über
Oder was bedeutet andernfalls das(q0,a) -> {qo,q2}: Was passiert wenn ich von q0 mit a springe komm ich auf q0 oder auf q2 ? Das wäre ja nicht mehr deterministisch.
Na, wer sagt denn dass es ein deterministischer endlicher Automat ist ;-)
Ich dachte nicht, dass sich damit jemand auskennen wird, also hab ich nur "endlicher Automat geschrieben", aber es ist - wie du richtig erkannt hast - ein nicht-deterministischer endlicher Automat. Das heisst, es stehen ihm 2 Zustände offen in die er wechseln kann, wenn er in q0 ein a einliest :-)
Vielleicht raff ich einfach die Notation nicht so ganz, wir haben das damals irgendwie anders notiert. Oder ich hab vergessen wie so ein Automat funktioniert.
Wahrscheinlich ersteres ;-) Es ist anzunehmen, dass es mehrere Notationen gibt! Auch die von mir gewählte ist im Grunde nicht ganz korrekt. Eigentlich sollte es heissen:
d(q0,a) = {qo,q2} , ... wobei d eigentlich ein "delta" sein sollte, und die Übergangsfunktion darstellt. Aber da ich den richtigen ASCII-Code für delta, sigma und co. grad nicht bei der Hand hatte, und der Pfeil imho verständlicher ausdrückt, was geschieht, hab ich's halt so angeschrieben.
Habt Ihr den Automat mal aufgezeichnet ? Ich hab irgendwie das dumpfe Gefühl dass irgendwo noch ein Wurm drinnen ist, kann aber auch sein, dass ich jetzt einfach zuviel aus meinem Halbwissen gedacht habe ;-)
<img src="http://www.wt-akademie.at/automat.jpg" alt="">
Ich hoffe das mit dem Bild-einbinden hat geklappt und man sieht so halbwegs was ;-)
Sollte so stimmen!
liebe Grüsse
Bernhard