Formale Angabe der Sprache

Question

Guten Abend,

Bei der L1 schaffe ich es nicht die formelle Definition richtig zu lesen.
Es erschließt sich mir nicht, wieso auf jede 1 zwei mal die 0 folgen sollte aus der formellen Sprache heraus. Ich lese da nur, dass auf eine beliebige 1 zwei mal die 0 folgen muss.

Ich denke das kommt durch dieses "Für alle u,v gilt w = u1v" zustande.
Wieso bedeutet das, dass jede mögliche Zerlegung von w = u1v betroffen ist und nicht nur eine?

 

Danke im Voraus!

Answer 1

Hallo,
die Sprache kannst du so lesen: Das Wort w besteht aus u1v, daraus folgt (⇒ ist eine Implikation), dass es ein x gibt, für das gilt v=00x. Es folgt also, dass v mit zwei Nullen beginnen muss. Und wie du sagst, gilt das für alle u und v. Ich hoffe das hilft dir weiter.