Hallo,
das ist durch die Defintion dieses Sachverhalts bedingt:
Das leere Wort (lambda) ist ungleich der leeren Menge. Erst die iterierte leere Menge ergibt das leere Wort.
Ich verweise dich hier mal auf die Einführungsaufgabe in der Power Point Präsentation des dritten Tutoriums , da wird das mathematisch hergeleitet.
Prinzipiell ist es aber so festgelegt, dass jede Menge die man 0-mal iteriert das leere Wort ergibt; als Analogie: jede Zahl^0 = 1.
Viele Grüße
Lukas (Tutor)