Hallo, ich habe einen Mealy-Automaten, den ich mittels Ginsburg/Huffmann-Verfahren in einen minimalen Automaten umwandeln soll. Nun ist der erste Schritt, die "1-Äquivalenzklassen" zu bilden, bei dem alle Zustände in zwei Klassen unterteilt werden. Ich habe jedoch nach stundenlangem Anstarren des Automaten und Suche im Internet nicht herausbekommen, was eine "1-Äquivalenz" ist und wo man die erkennt. Im Anhang ist der Automat und wie die man das Verfahren schrittweise anwendet, nur ich verstehe halt nicht, wie man darauf kommt, was mann gruppieren muss und wo man beginnt. Jede kleinste Idee könnte mir schon weiterhelfen, mir fehlt nur der Ansatz. Also schonmal supervielen Dank falls mir das jemand erklären kann. Freundliche Grüße Randy
Angehängte Dateien:
-
Automat.png
(28 KB)
