②进行顺序比较, 原始状态转移表 作隐含表 N(t/z(t) s(t) X=0 X=1 BIBE C/1 B/0 BO BE ABCDE C/1 E/0 D×× B/1 E/0 D/1 B/1 E××× D/1 B/1 a b C D 图6.3.4(b) 说明:“√”表示等价,“×”表示不等价
② 进行顺序比较， 原始状态转移表 作隐含表 BE A B C D E D C B BE BC √ √ × × × × × × S(t) N(t)/Z(t) X=0 X=1 A C/1 B/0 B C/1 E/0 C B/1 E/0 D D/1 B/1 E D/1 B/1 图 6.3.4 (b) 说明：“√”表示等价，“×”表示不等价
③再进行比较 ④列出等价类 BEX (B, c),(D, E C BO BE ⑤列出最大等价类。 D×× A,(B, C) E××× (D,E) A B C D 图6.3.4(c) 令:A→a (B,C)→b D,E)→d
③再进行比较 ④ 列出等价类 （B，C），（D，E） ⑤列出最大等价类。 A，（B，C）， （D，E） √ × × 图 6.3.4 (c) 令： A ⇒ a ; (B , C) ⇒ b ; (D , E) ⇒ d 。 BE A B C D E D C B BE BC √ √ × × × × × ×