数字逻辑的欧阳星明第四版华科出版1-7全答案.ppt

* 习题课 (4)状态编码 根据最简流程表可作出状态相邻图如右下图所示。 A C B 由于最简流程表中有三个状态，状态编码时需要两位二进制代码。根据该最简流程表中的状态转移关系可作出如下的状态相邻图。显然由于三个状态的相邻关系构成了一个闭环，所以，用两位二进制代码无法满足其相邻关系，因此，在A状态和C状态之间增加一个过渡状态，即可得到新的状态相邻图. 最简流程表 x2x1=00 A B 激励状态Y/输出Z 二次状态  y x2x1=01 x2x1=11 x2x1=10 C A/0 C/d d/d B/0 A/0 B/0 B/0 B/0 C/1 C/1 B/d B/d D * 习题课 增加过渡状态后，流程表修改为： D A C B 最简流程表 x2x1=00 A B 激励状态Y/输出Z 二次状态  y x2x1=01 x2x1=11 x2x1=10 C A/0 C/d d/d D/0 D/0 B/0 B/0 B/0 C/1 C/1 B/d B/d D B/0 A/0 d/d d/d * 习题课 A →00 B → 11 C →01 D →10 设二次状态用y2、y1表示，令y2、y1取值00表示A，10表示D，11表示B，01表示C，将其代入给定流程表，即可得