Ja, das müsste auch gehen, da haben Sie recht. Hier ist noch der XWizard-Link zu Ihrer Grammatik.
Die Fixierung auf das Lambda im Lösungstext sollte nicht bedeuten, dass es ohne Lambda nicht geht, sondern wir wollten hier nur darauf hinweisen, dass normalerweise Parser mit Lambda in der Grammatik nicht umgehen können. Das ist wichtig zu wissen, denn Lambda ist ja im Prinzip in allen kontextfreien Grammatiken zugelassen, aber beim Parsen macht es Probleme. In der PRAXIS lässt man es daher dann doch wieder weg oder macht eine Sonderbehandlung wie wir in der Aufgabe.
Ich werde das beizeiten Umformulieren, Sie haben recht, dass das unnötig verwirrt.