Halle Pete,
diese Definition für * und + ist nicht ganz richtig.
+ bedeutet, dass das leere Wort nicht aus der Grammatik ableitbar sein darf, das ist mit dieser kontextfreien Grammatik auch erfüllt, das leere Wort ist nicht erzeugbar. lamda darf zwar aus A abgeleitet werden, heißt also die A´s können sozusagen "verschwinden". Durch die restlichen Regeln ist aber gewährleistet, dass dennoch im gesamten nicht das leere Wort entsteht.
* bedeutet wiederum, dass das leere Wort erzeugbar sein muss, was zum Beispiel bei Aufgabe 1a) direkt mit der Regel S --> lamda möglich ist.
Viele Grüße,
Melanie (Tutor)