Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
ThI 1 Minimierung von Automaten
Hier werden am Ende doch immer nur 2 Zustände zu einem zusammengefasst, also kann sich die Zahl der Zustände maximal halbieren. Kann es jetzt sein, dass dieser Automat doch noch nicht minimal ist und man den Algorithmus so oft anwenden muss, bis sich der Automat nicht mehr ändert? Nur so ne Idee ganz spät am Abend… 
Es können durchaus auch mehr als 2 Zustände zusammengefaßt werden. Zum Beispiel wenn der Minimierungsalgorithmus die Zustandspaare (z1, z2) und (z2, z3) unmarkiert läßt, sind z1, z2 und z3 äquivalent.