Fehler in Definition [geschlossen]

Question

L1 ist die Sprache aller Wörter, die nach jeder 0 genau eine 1 enthalten:
L1 = {w ∈ {0, 1}* | ∀u, v ∈ {0, 1}* : w = u0v ⇒ ∃x ∈ {0, 1} * : v = 10x ∨ v = 1} 

Hat sich da ein Fehler eingeschlichen (rot markiert)? 
Soll man auf solche Fehler prinzipiell hinweisen oder eher nicht? (falls es einer ist) 

 

 

Comments

Warum sollte das falsch sein? Man kann die Definition so lesen: Für jede $0$ in $w$ beginnt der Teil nach der $0$ entweder mit $10$, das heißt, da kommt eine $1$ und danach eine Nicht-$1$, also $0$, oder der ganze Teil nach der $0$ ist einfach nur eine $1$. Das scheint mir richtig zu sein. Oder übersehe ich etwas?

---

Es ist trotzdem absolut in Ordnung, nachzufragen!

---

Hat alles gestimmt.
Deshalb habe ich die Frage direkt wieder geschlossen mit dem Kommentar.

Trotzdem Danke!