https://info2.aifb.kit.edu/qa/index.php?qa=activity&qa_1=minimierung-endlicher-automaten&qa_2=min-af Powered by Question2Answer https://info2.aifb.kit.edu/qa/index.php?qa=4784&qa_1=warum-sind-s0-s7-und-s4-s7-%C3%A4quivalente-zust%C3%A4nde&show=4785#a4785 Schau dir vielleicht nochmal deine Zustandsübergangstabelle oder den Automaten an. Eigentlich müsste die 0 bei $s_0, s_7$ zu $s_1, s_3$ führen. Die 1 führt zu $s_2, s_6$. Da diese beiden Paare noch nicht markiert sind, muss auch $s_0, s_7$ nicht markiert werden.<br /> <br /> Bei $s_4,s_7$ führt die 0 zu $s_3,s_3$ und die 1 zu $s_6,s_6$, deshalb muss auch dieses Paar nicht markiert werden.<br /> <br /> &nbsp;<br /> Grüße, Julia (Tutorin) MIN-AF https://info2.aifb.kit.edu/qa/index.php?qa=4784&qa_1=warum-sind-s0-s7-und-s4-s7-%C3%A4quivalente-zust%C3%A4nde&show=4785#a4785 Sun, 15 Jan 2017 16:39:41 +0000