判定作为起始的两态及产生对应次态序列的输 出的是否相同,相同则等价,否则不等价。由此 可得判定两态等价的推论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，我们称之为状态隐含。状态隐含需对次 态继续进行追踪判定。如次态符合输入同，输出 同的同时，出现次态的次态又为原态，称之为互 为隐含。当互为隐含时，在任一相同输入作用下， 次态序列的输出也相同