(4)状态合并,作出最简状态表 将最小闭覆盖中的相容类(B,CE)用状态a表示,相容类(A,B)用状 态b表示,相容类(AD)用状态c表示,将原始状态表中的相应状态用 新的状态代替,可得最简状态表。 5.11按照相邻编码原则对下列状态表进行状态编码 解:根据相邻法原则,四个状态的相邻关系为 由原则①可知,x=1时状态A、B的次态相|现态人次态/输出Z X=0 同,故A、B相邻。 AA/0B/ 由原则②可知,在相邻输入条件下,A的次 BC/0B/0 态为A、B,B的次态为B、C,C的次态为的次 C D/1C/ 态为C、D,D的次态A、B,故状态A、B,B、 D B/1A/O C,C、D相邻。 由原则③可知,状态A,B输出相同,故A、B相邻;状态C,D 输出相同,故C、D相邻⑷ 状态合并，作出最简状态表 将最小闭覆盖中的相容类(B,C,E) 用状态 a 表示，相容类(A,B) 用状 态 b 表示，相容类 ( A,D ) 用状态 c 表示，将原始状态表中的相应状态用 新的状态代替，可得最简状态表。 5．11 按照相邻编码原则对下列状态表进行状态编码 解：根据相邻法原则，四个状态的相邻关系为： 现态 次态 / 输出 Z x = 0 x = 1 A B C D A / 0 C / 0 D / 1 B / 1 B / 0 B / 0 C / 0 A / 0 由原则①可知，x = 1 时状态 A、B 的次态相 同，故A、B 相邻。 由原则②可知，在相邻输入条件下，A 的次 态为 A、B，B 的次态为B、C，C 的次态为的次 态为 C、D，D 的次态 A、B，故状态A、B，B、 C，C、D 相邻。 由原则③可知，状态A，B 输出相同，故A、B 相邻；状态 C，D 输出相同，故 C、D 相邻