(2状态化简 原始状态图的建立过程就是问题分析的 过程,因此可能引入多余状态;而状态数的增加, 就使电路中存储元件和门的数量增加。为使 设计的电路简单、经济、方便可靠。就需要对 原始状态图进行化简,这一过程称为状态化 简。在化简前着重介绍几个概念: ①等价状态 设状态表中的两个现态A和B,对任意的 输入序列都有相同的输出序列,则称为A和B 等价
(2)状态化简 原始状态图的建立过程,就是问题分析的 过程,因此可能引入多余状态;而状态数的增加, 就使电路中存储元件和门的数量增加。为使 设计的电路简单､经济､方便可靠。就需要对 原始状态图进行化简，这一过程称为状态化 简。在化简前着重介绍几个概念： ① 等价状态 设状态表中的两个现态A和B，对任意的 输入序列都有相同的输出序列，则称为A和B 等价
X=0X=1 A→→C/0 D/1 A≈B B一→C/0D/1 ②等价状态的传递性 若A和B等价,B和C等价,则定有A和C等 价。记作:A≈B,B≈C→A≈C。 ③最大等价类 等价状态的集合称为等价类。 例如:A≈B,B≈C,A≈C都是等价类。 可写成:(A,B),(B,C),(A,C)
② 等价状态的传递性 若A和B等价，B和C等价，则定有A和C等 价。记作：A ≈ B ，B ≈ C ⇒ A ≈ C 。 ③ 最大等价类 等价状态的集合称为等价类。 例如：A ≈ B ，B ≈ C ， A ≈ C 都是等价类。 可写成： （A，B），（B，C），（A，C）
(A,B),(B,C),(A,C) 如上述A,B,C是三个都互相等价的状态 若再无其它状态与此三个状态等价,则此三个 状态的集合为(A,B,C),就是一个最大等 价类。 强调:即使是单个状态,如果它不被其它等 价类包含,此单个状态也是一个最大等价类。 ④等价状态的判断 判断的方法: )在所有输入条件下,输出和次态完全相同。 则两者等价
如上述A，B，C是三个都互相等价的状态， 若再无其它状态与此三个状态等价，则此三个 状态的集合为（A，B，C），就是一个最大等 价类。 ④ 等价状态的判断 判断的方法： 1） 在所有输入条件下，输出和次态完全相同。 则两者等价。 强调：即使是单个状态，如果它不被其它等 价类包含，此单个状态也是一个最大等价类。 （A，B），（B，C），（A，C）
X=0 X=1 A A/O D/1 A/O D/1 A≈B 2)在所有输入条件下,输出相同,次态是 相互交错,则两者等价。 例如: Ⅹ=0 Ⅹ=1 AB B/0 C/1 A/0C/1 相互交错,A≈B
2）在所有输入条件下，输出相同，次态是 相互交错，则两者等价。 例如： 相互交错
3)互为隐含条件 例如: X=0X=1 B/0C/0 B E/1 C/0 C D/0 A70 D E/1 A/ EE/1 A/ 若要A≈C则B≈D; 而B≈D则A≈C,互为隐含条件。 因而可判断(A,C),(B,D)分别等价
3）互为隐含条件 例如： 若要A ≈ C 则 B ≈ D ； 因而可判断（A，C），（B，D）分别等价。 而 B ≈ D 则 A ≈ C ，互为隐含条件