Hallo,
was Tobias schreibt, stimmt leider nicht ganz - obwohl die Folie 4-3 tatsächlich diesen Eindruck vermittelt - ich werde Herrn Schmeck darauf ansprechen.
Wenn \( S \rightarrow \lambda \) definiert ist, dann darf \( S \) auf keiner rechten Seite vorkommen, und insofern war auch die Lösung in der Klausur nicht ganz korrekt. Ich habe inzwischen eine neue Version hochgeladen. Wenn \( S \) auf der rechten Seite trotzdem auftauchen dürfte, hätten wir hinten herum doch wieder die Möglichkeit verkürzender Regeln eingeführt.
Viele Grüße
Lukas König