数字逻辑第5章-2.ppt

在等效关系中，等效对是狭义的概念，它是对两个状态而言的。等效类是广义的概念，两个状态或多个状态均可以组成一个等效类，甚至一个状态也可以称为等效类，因为任何状态和它的自身必然是等效的。 如果一个等效类不是其他任何等效类的子集，该等效类就为最大等效类。这里所指的最大，并不是指包含的状态最多，而是指它的独立性。即使是一个状态，只要它不包含在其他等效类中，它也是最大等效类。 原始状态表的简化过程就是寻找最大等效类，将各个最大等效类的所有状态合并为一个状态，从而得到最小化状态表。 2．状态化简的方法 对复杂一些的原始状态表仅用观察对比来判断状态等效关系是不行的，需要有一种系统规范的方法。下面介绍用隐含表来化简状态的方法。它分3个步骤进行：顺序比较、关连比较和状态合并。 （1）顺序比较。状态化简中采用的工具是隐含表。隐含表是一种正直角三角形网格，两直角边格数相同。图5.35（a）是适合于5个状态（A、B、C、D、E）的隐含表，每直角边的格数为4，水平边的网格自左至右按状态A、B、C、D顺序标注（不标注E），垂直边的网格自上至下按B、C、D上顺序标注（不标注A）。 对隐含表中的所有状态进行顺序比较。先由水平方向的A依次同垂直向的B、C、D上进行比较，然后由水平向的B依次和垂直向的C、D、E进行比较，再后由水平向的C依次和垂直向的D、E比较，最后由D和E进行比较。 a）隐含表格式 图 5.35 隐含表化简原始状态 下面对图5.33（a）所示原始状态表进行顺序比较，它有如下3种结果： 1）输出不相同，在隐含表相应的格内打 X，表示状态不等效。如 A-D，A-E，B－D，B－E，C-D，C-E。 2）输出完全相同，次态相同或呈交错，在隐含表相应的格内打√，表示状态等效。如B－C，D－E。 3）输出完全相同，次态不相同但又非交错，此时将“次态对”填入相应的网格中以待在下一步骤中进一步比较。如在AB网格内填入BE，在AC网格中填入BC、BE。 顺序比较后的隐含表如图5.35（b）所示。 b)顺序比较后的隐含表 （2）关连比较。检查隐含表中所填次态是否等效。例如，图5.35(b）的隐含表中AB格内填的是BE，AB是否等效要看BE是否等效，进一步检查隐含表的BE格，发现BE是不等效的，所以AB也不等效，并在AB格打上斜线（图5.35（C））。又如，AC是否等效要看BC和BE是否都等效，已知 BC是等效的，但 BE是不等效的，所以 AC不等效，并在AC格打上斜线。关连比较后的隐含表如图5.35（c）所示。 c）关连比较后的隐含表 （3）状态合并，求得简化后的状态表。在关连比较后，就可进行状态合并，合并后状态是（A），（BC），（DE）。对它们重新命名，把状态 A称为A’，状态（BC）称为 B’，状态（DE）称为C’，就可构成简化后的状态表（图 5.35（d））。 d）简化状态表 图 5.35 隐含表化简原始状态 例5.9 化简图5.36(a) 所示原始状态表。 解：1）画隐含表，并进行顺序比较,图5.36（b）。 由图可知，A-B、A-C、A-E、A-G、B-C、B-D、B-F、B-G、G-D、C-E、G-F、H-E、H-G、E-F、E-G、F-G均不等效。 由图可知A-F、B-E的输出均相同，但它们的次态对呈交错。C-G次态相及输出均同。A-D的输出相同，但次态对为AF、EG。D-F的输出相同，其次态对为GE，在相应格中填入GE。 a）原始状态表 b）顺序比较后的隐含表 2）关连比较（图 5.36（C））。要判断 AD是否等效，需检查 A、F及E、G是否等效，由于E、G不等效，故A、D也不等效。又由于E、G不等效，故D、F也不等效。 3）状态合并。合并后状态为（AF）、（BE）、（CG）、D，把它们分别重新命名为A’、B’、C’、D’，得简化后状态表（图 5.36（d））。 c）关连比较后的隐含表 d）简化的状态表 图 5.36 例5.10 化简图5.37(a)所示原始状态表。 l）顺序比较, 图5.37（b）。AF的次态呈交错，故AF等效。 2）关连比较（图5.37（C））。 3）状态合并。得（AF），（BC），（BH），（CH）为等效对。显然，因BC、BH、CH均等效，故（BCH）为等效类。把所有相互等效的状态集合称为最大等效类。为了求得最简的状态表，应力求寻找最大等效类。 （a）原始状态表 (b)顺序比较后的隐含表 (c)关连比较后的隐