Durch die Einschränkungen in der zweiten Zeile wird doch aber genau das erreicht! Ich probiere die Sprachdefinition dir hier einfach mal als Text hinzuschreiben, vllt verstehst du es dann:
Die Wörter w der Sprache L bestehen aus einer Menge von 0 und 1, wobei das leere Wort nicht enthalten ist (siehe Exponent +). Für alle Wörter w, die sich in u1v zerlegen lassen (dh. die mindestens eine 1 enthalten), muss dann automatisch folgen, dass entweder
a) das u aus 1x und das v aus 00y besteht oder
b) das v aus 100y besteht
wobei x und y jeweils eine beliebige Zeichenfolge aus der Menge {0,1}* sein dürfen.
Dadurch ist sichergestellt, dass falls eine 1 in w enthalten ist, diese vor sich selbst auf jeden Fall eine weitere 1 und nach sich zwei folgende 0 hat (Fall a) oder dass sie selbst die erste 1 ist "..1100.." ist und nach ihr dementsprechend noch "100" folgen muss (Fall b).
Ich hoffe, das hilft dir beim Verständnis weiter!
Viele Grüße,
Janine (Tutorin)