Hallo,
Ein Zustand deines deterministischen Automaten ist ein Endzustand, wenn in der äquivalenten Zustandsmenge des nichtdeterministischen Automaten ein Endzustand vorkommt.
s6' = { s1, s2} da s1 im nichtdeterministischen Automaten ein Endzustand ist, ist s6' im deterministischen Automaten Endzustand.
Gruß, Lorena (Tutorin)