Hallo,
müsste es nicht auch funktionieren, wenn man die Lösung aus Aufgabe MON-AC so abwandelt, dass man die Bedingungen AB->BA, AC->CA und BC->CB weg lässt? Dadurch werden immer die gleiche Anzahl von a's, b's und c's erzeugt und dann geordnet.
Grüße