0/0 1/0 1/0 0/0 0/0 101 1/0 0/0 1000. 3 图6.3.3例6.3.1的原始状态转移图
S2 S3 S0 S1 1/0 1/1 0/0 0/0 0/0 1/0 1/0 0/0 11… 101… 1000… 图 6.3.3 例6.3.1的原始状态转移图
0/0 1/0 10 1/1 0/0 0/0 0/0 表6.3.1图6.3.3的原始状态转移表 N(t/z(t s(t) X=0 X=1 0 S00 S2/0 2 (0 S S/0
S(t) N(t)/Z(t) X=0 X=1 S0 S0 /0 S1 /0 S1 S2 /0 S1 /0 S2 S3 /0 S1 /0 S3 S0 /0 S1 /1 表 6.3.1 图6.3.3的原始状态转移表 1/0
(2)状态化简 原始状态图的建立过程就是问题分析的 过程,因此可能引入多余状态;而状态数的增加, 就使电路中存储元件和门的数量增加。为使 设计的电路简单、经济、方便可靠。就需要对 原始状态图进行化简,这一过程称为状态化 简。在化简前着重介绍几个概念: ①等价状态 设状态表中的两个现态A和B,对任意的 输入序列都有相同的输出序列,则称为A和B 等价
(2)状态化简 原始状态图的建立过程,就是问题分析的 过程,因此可能引入多余状态;而状态数的增加, 就使电路中存储元件和门的数量增加。为使 设计的电路简单､经济､方便可靠。就需要对 原始状态图进行化简，这一过程称为状态化 简。在化简前着重介绍几个概念： ① 等价状态 设状态表中的两个现态A和B，对任意的 输入序列都有相同的输出序列，则称为A和B 等价
X=0X=1 A一C/0D/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）