Mealy-Automat: Ginsburg/Huffmann-Verfahren

[Randy N. (huskynet)]

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

[Lorenz .. (lorenz)]

Hi,

schau mal unter
http://www.iris.uni-stuttgart.de/lehre/eggenberger/ksn/index.html
nach. Ganz unten findest du den Punkt "Reduktion Mealy"
http://www.iris.uni-stuttgart.de/lehre/eggenberger/ksn/13_Reduktion/RM_Mealy.htm
Also ich habs damals in der Vorlesung damit schnell verstanden.

Hoffe geholfen zu haben

Lorenz

[Randy N. (huskynet)]

ACHSO!!!

Super, tausend Dank! DAMIT hab ichs jetzt auch verstanden. Diese 
Erklärung da ist logisch und auch nachvollziehbar, im Gegensatz zu 
vielen anderen.

Grüße
Randy

[Michael P. (Gast)]

die links sind leider nicht mehr aktuell ^^ kann mir jemand erklären wie 
man die 1-Äquivalenz klassen berechnet aus dem obigen Beispiel?

[lüsterklemme (Gast)]

http://www.iris.uni-stuttgart.de/lehre/eggenberger/eti/23_Reduktion/RM_Mealy.htm

[Michael P. (Gast)]

vielen dank für die schnelle antwort, hat mir echt weitergeholfen

[Omar B. (omarb)]

die link funktioniert nicht.Ich verstehe nicht das Verfahren 
schrittweise,können Sie bitte andere link schicken?

Danke im Voraus

[Stefan F. (Gast)]

Omar B. schrieb:
> die link funktioniert nicht

Nach 12 Jahren kann das mal passieren.

Such dich da mal durch oder kontaktiere den Professor selbst
http://pcbs13.informatik.uni-stuttgart.de/~lagally/ifi/bs/people/eggenb.htm