次态相同或交错 0/0 0/0
次态相同或交错 Si Sj 0/0 1/0 1/0 Sk 0/0
次态交错或相同或循环 0/1 0/0 k 1/0 1/0 0/0
次态交错或相同或循环 Si Sj 1/0 1/0 Sk Sl 0/0 0/0 0/1 0/1 Sm 1/0 1/0
次态交错或等效(S,S等效) 0/1 k 1/0 0/1
次态交错或等效(Sk ,Sl等效) Si Sj 1/0 1/0 Sl Sk 0/1 0/1
1.观察法化简 例:简化下表所示的状态表 次态/输出 现态 ABC A/0 B/0 A/0 C/0 A0 D/1 A0 D/1
1. 观察法化简 例：简化下表所示的状态表 现态 次态/输出 x=0 x=1 A B C D A/0 A/0 A/0 A/0 B/0 C/0 D/1 D/1
解: A和B,C和D的输 出完全相等; C和D在输入的各种取值 次态输出 现态 组合下,次态相同,因 此C和D等效; A和B在x=1时的次态不 A0B/0 ABCD 满足四条件之一,因此A A0C/0 A0D/1 和B不等效; A0D/1 最大等效类为{A},{B}, C,D},分别用A,B,C表 小
解： • A和B，C和D的输 出完全相等； • C和D在输入的各种取值 组合下，次态相同，因 此C和D等效； • 最大等效类为{A}，{B}， {C,D},分别用A', B', C'表 示； • A和B在x=1时的次态不 满足四条件之一，因此A 和B不等效; 现态 次态/输出 x=0 x=1 A B C D A/0 A/0 A/0 A/0 B/0 C/0 D/1 D/1