Mealy-Automat: Ginsburg/Huffmann-Verfahren

Randy N. OP #786377
Lesenswert?
• ▲
▼ 
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:
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Beitrag melden
Thread beobachten

Antwort schreiben

Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt. Bitte hier nur auf die ursprüngliche Frage antworten, für neue Fragen einen neuen Beitrag erstellen.

Formatierung
  • [c]C-Code[/c]
  • [vhdl]VHDL-Code[/vhdl]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Dein Name und deine E-Mail-Adresse

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.