Ich raff´s nich.
Sitz jetzt schon über ne Stunde an der, wie ich dachte, leichten Aufgabe 1.
Ich komm einfach nicht zum Ende mit den Zuständen.
Ich hab mir folgendes Prinzip gedacht:
Für jede 0 die gelesen wird (geht man davon aus, dass noch keine 1 gelesen wurde) ändert sich der Zustand in Richtung der geraden Zahlen, also - erste 0 gelesen = S2, Zweite 0 gelesen = S4 usw.
Für jede 1 die gelesen wird (geht man davon aus, dass noch keine 0 gelesen wurde) wandert der Automat in Richtung der ungeraden Zahlen, also erste 1 gelesen = S1, zweite 1 gelesen = S3 usw.
Bei jeder 1 bzw. 0 die gelesen wird, geht der Automat einen Zustand runter (z.B. in S4 wird 1 gelesen = Automat geht zurück in S2 bzw. in S3 wird 0 gelesen = Automat geht zurück in S1 usw.)
Wenn man jetzt noch davon ausgeht, dass ein Endzustand nur erreicht werden kann, wenn der TA in einem geraden Zustand ist, dann ist schon mal gewährleistet, dass #0 > #1.
Das Problem, dass ich nicht lösen kann, ist, dass ich dann UNENDLICH Zustände habe, da ja bezüglich der Anzahl keine Grenze gesetzt ist.
Lieg ich vielleicht absolut falsch mit meinem Ansatz???
Oder hab ich ne Kleinigkeit übersehen???