Wenn ich die Aufgabenstellung richtig verstehe, muss es mind ein u geben, dass aus {0,1}* ist.
Wenn ich mir aber die Musterlösung ansehe, dann sehe ich, dass die nichtdeterministische Schleife mit "0/1" nicht notwendigerweise durchlaufen werden muss. In anderen Worten: der NEA akzeptiert auch das Wort "010" (also ohne u), was im Widerspruch zur Aufgabenstellung steht.
Oder sehe ich das falsch?
oder liegt das daran, dass {0,1}* auch das leere Wort enthalten kann?
(VL Kap 1 Folie 6)