Hey,
durch das Löschen von einem je einem a für jedes c stellen wir sicher, dass auch die Voraussetzung \( m \geq n \geq 0 \) nicht verletzt wird.
Die Regel (s1,a,lambda) -> (s1,a) brauchen wir nicht, weil im Zustand s1 keine a mehr eingegeben werden, das muss ja vollständig geschehen BEVOR das erste c oder d kommt.
Hoffe das hilft!
PS: Weshalb bist du der Meinung, dass man die Regel weglassen könnte?