Sorry,
hab grad meinen ersten Fehler gefunden:
(q0,a) -> {qo,q2}
bedeutet doch, dass es in Beide Richtungen geht, oder ? Das hab ich übersehen.
Und
(q1,c) -> {q0}
geht nur in eine. Aber dann muss trotzdem aus q1 ein b oder c rausführen, niemals ein a. Also kann auch bac nicht am Wortanfang vorkommen.
Gruss
Marko