Würde hier nicht auch die gleiche Lösung wie in Aufgabe MON-AC funktionieren?
Ich meine, ob ez die Bedingung ist, dass die Anzahl von a,b und c gleich ist oder $a^nb^nc^n$ ist doch das Gleiche.
Der einzige Unterschied ist, dass bei dieser Aufgabe, das leere Wort enthalten ist, also müsste das lambda noch bei S als Fall stehen.
Aber sonst sehe ich da keinen Unterschied, oder?