Denksport - ein kleines Informatik-Rätsel

[Marko]

Hallo Bernhard,

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. 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. 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.
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 ;-)

Gruss

Marko

• Zustände {qo,q1,q2}
• Alphabet {a,b,c}
• Anfangs und Endzustand ist {q0}
• Übergangsfunktion: (q0,a) -> {qo,q2}
                       (q0,b) -> {q0,q1}
                       (q1,c) -> {q0}
                       (q2,b) -> {q1}
                       (q2,c) -> {q0}