1-äquivalenz

Question

Hallo

Wie kommt man in der Tabelle auf die 1-äquivalenz ?

die 0 äquivalenz ist mir klar da wurde doch nur in Menge der Endzustände und nicht endzustände unterteilt ?

Answer 1

Hallo uvlpj,

exakt, bei der 0-Äquivalenz bildet eine Menge die Menge aller Endzustände und die andere Menge ist die Menge aller Nicht-Endzustände.

Bei der 1-Äquivalenz prüfst du für jeden Zustand in der Menge, in welcher Art Zustand du mit den unterschiedlichen Eingaben landest. Schauen wir uns die Menge der Nicht-Endzustände an, also {s0, s1, s7}. Für s0 landest du sowohl für die Eingabe a als auch b in einem Endzustand. Für s1 landest du ebenfalls für die Eingaben a und b in einem Endzustand. Mit s7 landest du für a und b in einem Nicht-Endzustand.
Infolge dessen bilden die Zustände s0 und s1 eine Menge bei der 1-Äquivalenz, der Zustand s7 bildet eine einelementige Menge.
Für die andere Menge verfährst du ebenso.

Ich hoffe, deine Frage hat sich dadurch geklärt, sonst frag noch einmal nach.

Viele Grüße

Hannah (Tutorin)

Comments

Vielen Dank das macht Sinn
jetzt verstehe ich aber nicht den schritte bei HK 2018 von 1 zu 2-Äquivalenz
Auf die 1-Äquivalenz bin ich gekommen wie du es oben beschrieben hast aber wieso sind jetzt s1 und s5 in einer Menge ?

---

Hallo,
ja du hast recht, das ist wirklich komisch. Ich denke, hier ist die Musterlösung falsch und die Zustände s1 und s2 sind vertauscht.
Ich hoffe, jetzt ist es klarer.
Viele Grüße
Hannah

---

Okay
kannst du mir vielleicht noch sagen wieso bei der 2 Äquivalenz s0 und s3 in einer Menge sind ohne s1 ?

---

Bei der 1-Äquivalenz hast du ja nur die Art des direkt nächsten Zustands für die Eingaben a und b betrachtet. Jetzt schaust du dir die jeweils 2 nächsten Zustände an. Dort gibt es 4 Möglichkeiten: aa, ab, ba, bb. Jetzt "läufst" du diese Wege jeweils von s0, s1 und s3 aus und überprüfst, für welche der Zustände du bei allen 4 Möglichkeiten in derselben Art des "Landezustands" endest. Dies ist in diesem Fall bei s0 und s3 gleich, bei s1 anders.
Es gibt sicher noch eine elegantere oder "offiziellere" Lösung, aber so kannst du es testen.
Viele Grüße
Hannah

---

Top vielen vielen Dank