Hi,
wie würden die k-äquivalenten Zustände für den Urpsrungsautomaten aussehen? einelementige Zustände auch angeben.
0 --> {C,F}{A,B,D,E,G,H}
1--> {CF}{A,B,D,G,H}{E}???
2-->{CF}{A,B,D,G,H}{E}
Vielleicht kann mir da jemand helfen. Danke.
Für 0 passt es noch.
C und F sind bei 1 aber nicht 1-äquivalent (Eingabe von 0 führt einmal in einen Endzustand und einmal nicht). Außerdem müssten hier GH einzeln aufgeführt werden.
2. hat dann auch Folgefehler.
Sven (Tutor)