在隐含表中,先做顺序比较,可知(A,D)、(B,C)、(C,E)为相容 状态对,(AB)、(A,E)、(B,E)为待定状态对。再做关联比较,可知 (A,B)、(B,E)为相容状态对 A (2)作出状态合并图,找出最大相容类 根据相容状态对作出状态合并图,得到最E B 大相容类(BC,E)、(A,B)、(A,D)、(CD)。 (3)作出闭覆盖表,求最小闭覆盖 根据最小闭覆盖的三个条件可知,该问题D C 的最小闭覆盖可由最大相容类(BC,E)、(A,B)、(A,D)组成。 闭覆盖表 最小化状态表 覆盖 闭合 最大相容类 现态/次态/输出 ABICI DEIX=OX= X=0x=1 BCE BC E AB CE b/1 AB A B AD CE b c AD A AD C c/0c/0 CD C D A CE在隐含表中，先做顺序比较，可知( A,D )、( B,C )、( C,E ) 为相容 状态对，( A,B )、( A,E )、( B,E ) 为待定状态对。再做关联比较，可知 ( A,B )、( B,E ) 为相容状态对。 A E B D C 最大相容类 覆盖 闭合 A B C D E x = 0 x = 1 BCE AB AD CD A A B B C C D D E AB AD AD A CE CE C CE ⑵ 作出状态合并图，找出最大相容类 根据相容状态对作出状态合并图，得到最 大相容类 (B,C,E)、(A,B)、( A,D )、( C,D )。 ⑶ 作出闭覆盖表，求最小闭覆盖 根据最小闭覆盖的三个条件可知，该问题 的最小闭覆盖可由最大相容类 (B,C,E)、(A,B)、( A,D ) 组成。 现态 次态 / 输出 x = 0 x = 1 a b c b / 1 c / 1 c / 0 a / 1 a / 0 c / 0 闭覆盖表 最小化状态表