a) ich nehme mal an, dass |ω|1 = 0 heißt:| "Anzahl der Einsen im Wort ω beträgt 0"
Dann ist das "Konstruktionsmuster" doch wohl nur L1 = {ε} ∪ { ω0 | ω ∈ L1 }
denn ein zulässiges Wort wird konstruiert durch das Anhängen einer 0 an ein zulässiges Wort und
das leere Wort ist zulässig.
Ist das wohl so gemeint ???