Hallo,
vielen Dank für den Hinweis. Hier fehlen tatsächlich die Übergänge mit dem neu eingeführten Nonterminalsymbol D.
Zusätzlich fehlen meines Erachtens die Übergänge A --> BD | BC (diese wurden auf Seite 14-15 weggelassen).
D darf nämlich nicht auf SC abgeleitet werden, sondern A muss erhalten bleiben und D muss auf AC abgeleitet werden. Ansonsten steht S auch auf der „rechten Seite“ und da S bereits auf lambda abbildet darf S nicht mehr auf der rechten Seite vorkommen (siehe Definition CNF).
Die korrekte Lösung zur Aufgabe 2 wäre damit:
Viele Grüße,
Sören (Tutor)