Oh, ich glaube ich kann mir meinen Denkfehler doch schon selbst erklären.
Der Zustand a sorgt nicht dafür, dass zu Beginn eine 1 stehen muss, sondern dafür, dass die 0 auch akzeptiert wird.
Stimmt das?
Wenn ich wie im Beispiel oben 0100(=4) darstellen möchte, geht man mit der 0 auf d, mit 1 zurück auf b und dann mit 2 mal 0 in den Endzustand d!