Hallo,
ich versuche die Lösung zu folgender Frage zu verstehen:
Frage:
Eine Sprache \(L \subseteq A*\) sei wie folgt induktiv definiert:
- \(\varepsilon \in L\)
- wenn \(x \in L\) ist, dann ist \(aax \in L\)
- wenn \(y, z \in L\) sind, dann ist \(y \mathrm{b} z \in L\)
\(L\) enthalte sonst keine Wörter aus \(A*\).
Geben Sie alle Wörter \(w \in L\) an, für die \(|w| \leq 3\) ist.
Lösung:
\(\varepsilon, b, a a, b b, a a b\), baa, bbb
Ich verstehe nicht, wieso nicht auch a ∈ L gilt. Denn immerhin hat a eine Länge < 3, außerdem heißt es doch: wenn \(x \in L\) ist, dann ist \(aax \in L\). Daraus schlussfolgere ich, dass damit z.B. baa in L sein kann, erstmal überhaupt a in L sein muss.
Wo liegt mein Denkfehler? Dankeschön.