Ist bei der b) der Zustand c nicht überflüssig? Vom Zustand b aus könnte dann eine 0 "gelesen" wird wieder in a und von dort aus komme ich auch nur in den Endzustand, wenn ich eine zweite 0 lese.
Ist jetzt nicht so wichtig, aber falls ich einen dummen Fehler gemacht habe, wüsste ich das schon gerne ;-)