Tach!
Nicht alle Zahlen die mit einer Null beginnen, sind ungültig.
Zahlen, die mit 0 beginnen sind Zahlen mit führenden Nullen und die sind nicht erlaubt.
Und was ist mit
0
? Diese Zahl ist durch 2 teilbar.00
hingegen ist gar keine Zahl,007
auch nicht.
Wenn 0 gestattet sein soll, 00 oder noch mehr Nullen aber nicht, ist der Automat nicht erstellbar, weil man (unter anderem) mit 0 und 10 gültigerweise auf den Endzustand kommt, aber dann mit weiteren Nullen nicht unterschiedlich abbiegen kann.
dedlfix.