Hi Bernhard,
ich glaube die Formulierung der Aufgabe, die Du gegeben hast entspricht nicht genau dem Automaten. Wenn Du das Zustandsdiagramm aufzeichnest ist nämlich auch: abcabcc nicht möglich, da Du vor dem letzten c schon wieder in q0 bist, und es für C keine Übergangsfunktion gibt. Ausserdem gibt es auch beim b restriktionen, da es von q1 auch mit b nicht weitergeht.
Wenn ich mich recht erinnere löst man solche Aufgaben irgendwie über eine Grammatik in Backus-Nauer Form, aber frag mich nicht mehr wie, ich probier mal, vielleicht komm ich ja noch auf den Ausdruck.
Gruss
Marko
P.S.: Da ich das mal vor 5 Jahren gelernt habe, bitte ich um Nachsicht, falls ich gerade Schwachsinn verzapft habe.