2-Äquivalenz (Minimierung det. Automaten)

Question

Wie kommt man auf die 2-Äquivalenz?

Was haben die Zustände {s0, s3}, {s1, s5}, {s2}, {s4} gemein, sodass sie in dieselbe Klasse eingeteilt werden?

Answer 1

Hallo unfzt,

Allgemein musst du so wie in Tut 1 Aufgabe 8 vorgehen:
1. Tabelle erstellen (Welche Zustand/Eingabezeichen-Kombination führt zu welchem Folgezustand)
2. Zustandspaare bei denen ein Zustand Endzustand und der andere nicht Endzustand sind in der 2. Tabelle mit X0 markieren
3. Alle Zustandspaare durchgehen und Prüfen ob durch 0/1 ein Zustandspaar erreicht wird dass bereits markiert ist (Falls Ja mit X1,2......n markieren => 1,2...n-Äquivalenz) .
4. Schritt 3 solange wiederholen bis kein neues Zustandspaar markiert wird
5. Nichtmarkierte Felder in der Tabelle werden zusammengefasst.

 

Aufgabe 2 der Hk 2017 ist keine EA.Minimierung, falls du noch Hilfe zur Aufgabe selbst brauchst müsstest du noch das richtige Tag schicken.

Viele Grüße
Philipp (Tutor)