Question

Bei der b kommst man auf die k-äquivaleten Zustandsmengen durch folgendes Schaubild, oder gibt es noch einen schnelleren Weg, diese zu erkennen?

 

aa' /                         Überall wo X0 steht, ist es nicht-0 äquivalent, also fällt dd' deswegen in der Lösung raus

bb' X1 X1                 Überall wo X1 steht, ist es nicht 1-äquivalent, da bleibt nur der / mit s & aa' deshalb sind diese 1 äquivalent, da 

cc'  X1 X1  X1            sie in diesem Fall sogar k-äquivalent sind, oder?

dd' X0  X0   X0   X0

      s   aa'   bb'   cc'

Answer 1

Hallo,

deine Argumentation ist richtig. aa' und s sind äquivalent, einfach zu sagen sie seinen k-äquivalent ergibt wenig sinn, wenn du kein bestimmtes k meinst/angibst. Dein Verfahren ist wohl das beste.

Gruß,

Adam (Tutor)