Bei der CNF steht in der Definition, dass ein lambda-Übergang erlaut ist, wenn auf der rechten Seite kein weiteres mehr auftaucht.
Beim Schritt 1 (lambda-frei) ist im Tut der Übergang S => lambda erlaubt.
Aber in der Vorlesung wird dies nicht erlaubt bzw. explizit gesagt, dass die CNF nicht auf ein leeres Wort abbilden kann.
Wie soll man hierbei vorgehen?