3.封闭性。对简化后的最小化状态表中的 每个状态而言,在任何一种输入情况下,其次态 只能是简化后状态中的一个(而不是多个)。对 完全确定的时序电路,封闭性是自动满足的。而 对不完全确定的时序电路,不合理的选择简化后 的状态,将导致不满足封闭性。 完全确定的时序电路状态化简: 方法1:蕴含图法。 方法2:分隔法。 蕴含图法化简: 原理与步骤: 1.原始状态集中寻找所有的状态等价对; 2.组合出最大等价类集; 3.状态合并,构成最简状态集; 4.由最简状态集导出最小化状态图和表。 关键步骤是从原始状态集中寻找所有的等 价对:1.状态组对,2.等价判定。 组对易,判定难,利用推论。 判定等价就是考察在任一相同输入作用下
3． 封闭性。对简化后的最小化状态表中的 每个状态而言，在任何一种输入情况下，其次态 只能是简化后状态中的一个（而不是多个）。对 完全确定的时序电路，封闭性是自动满足的。而 对不完全确定的时序电路，不合理的选择简化后 的状态，将导致不满足封闭性。 完全确定的时序电路状态化简： 方法 1：蕴含图法。 方法 2：分隔法。 蕴含图法化简： 原理与步骤： 1．原始状态集中寻找所有的状态等价对； 2．组合出最大等价类集； 3．状态合并，构成最简状态集； 4．由最简状态集导出最小化状态图和表。 关键步骤是从原始状态集中寻找所有的等 价对：1.状态组对，2.等价判定。 组对易，判定难，利用推论。 判定等价就是考察在任一相同输入作用下
判定作为起始的两态及产生对应次态序列的输 出的是否相同,相同则等价,否则不等价。由此 可得判定两态等价的推论1和2。 推论1:在任一相同输入条件下,两态的输 出不同,两态一定不等价;两态输出相同,则需 继续判定对应次态是否等价。 推论2:在任一相同输入条件下,两态的输 出相同,若对应次态等价,则两态等价;对应次 态不等价,两态也不等价。 次态输出相同,需再考察次态对情况。如 设需等价判定的两态为SS,次态对的情况可分 两类:1.不变(即仍为SS),交错(即为SS1), 相同(即同为S)2.不属1的其它情况(即为 SnS)。 当次态属1类情况时,无论谁作起始态,任 一相同输入产生相同输出。 当次态属2类情况时状态SS等价否取决 与SSn,我们称之为状态隐含。状态隐含需对次 态继续进行追踪判定。如次态符合输入同,输出 同的同时,出现次态的次态又为原态,称之为互 为隐含。当互为隐含时,在任一相同输入作用下, 次态序列的输出也相同
判定作为起始的两态及产生对应次态序列的输 出的是否相同，相同则等价，否则不等价。由此 可得判定两态等价的推论 1 和 2。 推论 1：在任一相同输入条件下，两态的输 出不同，两态一定不等价；两态输出相同，则需 继续判定对应次态是否等价。 推论 2：在任一相同输入条件下，两态的输 出相同，若对应次态等价，则两态等价；对应次 态不等价，两态也不等价。 次态输出相同，需再考察次态对情况。如 设需等价判定的两态为 SiSj，次态对的情况可分 两类：1.不变（即仍为 SiSj），交错（即为 SjSi）， 相同（即同为 Sk）2.不属 1 的其它情况(即为 SmSn)。 当次态属 1 类情况时，无论谁作起始态，任 一相同输入产生相同输出。 当次态属 2 类情况时，状态 SiSj等价否取决 与 SmSn，我们称之为状态隐含。状态隐含需对次 态继续进行追踪判定。如次态符合输入同，输出 同的同时，出现次态的次态又为原态，称之为互 为隐含。当互为隐含时，在任一相同输入作用下， 次态序列的输出也相同