ich dachte, dass lambda-frei machen bedeutet, dass es keine Produktion mehr geben darf, nach der ein Nonterminalsymbol auf lambda abgebildet wird. Wenn die Produktion B -> lambda auftritt, muss die schon mal wegfallen. Zusätzlich muss man jetzt für alle Produktionen, in denen ein B auftaucht, eine zusätzliche neue Produktion einführen, die den Fall abdeckt, dass B das leere Wort ist.
Kann ich so immer vorgehen? und warum muss dann aber auch noch S`-> eingeführt werden am Ende?