时序电路的逻辑功能描述方法 时序电路的逻辑功能可以用状态方程、状态图、状态表、 时序图四种方法来表示，这几种表示方法是等价的，并且可以 相互转换。 1.状态方程-表明时序电路中触发器状态转换条件的代数表示 方式 例如有两个触发器F1,F2,其中F2的状态方程为 Q2+1=XQ1+XQ2Ql 则表明当X=1、Q1=0或X=0、Q2Q1=11时，F2的次态 Q2n+1=1 因此状态方程是说明使次态为1时外输入和内部状态的条件。 它在形式上与触发器的特征方程相似，所不同的是根据外部输 入变量和电路中各触发器的现态值来确定次态条件
时序电路的逻辑功能可以用状态方程、状态图、状态表、 时序图四种方法来表示，这几种表示方法是等价的，并且可以 相互转换。 1.状态方程－表明时序电路中触发器状态转换条件的代数表示 方式 例如有两个触发器F1、F2，其中F2的状态方程为 Q2 n+1=XQ1+XQ2Q1 则表明当X=1、Q1=0或X=0、Q2Q1=11时，F2的次态 Q2 n+1=1 因此状态方程是说明使次态为1时外输入和内部状态的条件。 它在形式上与触发器的特征方程相似，所不同的是根据外部输 入变量和电路中各触发器的现态值来确定次态条件 时序电路的逻辑功能描述方法
2状态图-反映时序电路转移规律以及相应输入、输 出情况的图形称为状态图或状态转移图。 状态图中每个圆圈表示一个状态，带箭头的弧线 表示状态转移方向、转移线旁标注出转移的外输入条 件和当前的外输出情况。 Moore型和Meay型电路的状态图表示方法不同 Mealy型电路的外输出Z=fx、Q],故Z标在箭头旁 Moore型电路的外输出Z=f[Q],故Z标在状态图内
2.状态图-反映时序电路转移规律以及相应输入、输 出情况的图形称为状态图或状态转移图。 状态图中每个圆圈表示一个状态，带箭头的弧线 表示状态转移方向、转移线旁标注出转移的外输入条 件和当前的外输出情况。 Moore型和Mealy型电路的状态图表示方法不同 Mealy型电路的外输出Z=f[x、Q]，故Z标在箭头旁 Moore型电路的外输出Z=f[Q]，故Z标在状态图内
Mealy型状态图 0/0 1/0 0/0 00 X/Z 0/0 0.1/0 1/1 1/0 10 11 (图a) 箭头旁标注的是外输入X和外输出Z
00 01 10 11 0/0 1/0 0/0 1/1 0.1/0 1/0 0/0 (图a) 箭头旁标注的是外输入X和外输出Z Mealy型状态图 X/Z
Moore型状态图 X 0 00/0 01/0 000 001 0 010 11/1 10/1 100 011 图(c) 图b) 注意：图(c)没有外输入， 时钟来后状态无条件转移
Moore型状态图 00/0 01/0 11/1 10/1 X 0 1 1 0 1 1 0 0 000 001 100 011 010 图(b) 图(c) 注意：图（c）没有外输入， 时钟来后状态无条件转移
3.状态表-反映时序电路中外输出及各个触发器 次态Q+1与外部输入信号、现态Q之间逻辑关系 的表格，也称状态转移表。 Q2n+1Qn+1/z 2+1Q1+1 Q2Qj 0 1 Q2Qj 0 00 01/0 11/1 00 01 11 0 01 10/0 00/0 01 10 00 0 11 00/0 10/0 11 00 10 1 10 11/0 01/0 10 11 01 0 (a)Mealy?型 (b）Moore型 在图（b)Moore状态表中的Z仅取决于当前状态， 所以可以单独列出
3.状态表－反映时序电路中外输出及各个触发器 次态Qn+1与外部输入信号、现态Qi之间逻辑关系 的表格，也称状态转移表。 Q2 n+1Q1 n+1/z Q X 2Q1 0 0 0 1 1 1 1 0 0 1 01/0 10/0 00/0 11/0 11/1 00/0 10/0 01/0 （a）Mealy型 Q2 n+1Q1 n+1 Q X 2Q1 0 0 0 1 1 1 1 0 0 1 01 10 00 11 11 00 10 01 Z 0 0 1 0 （b）Moore型 在图（b）Moore状态表中的Z仅取决于当前状态， 所以可以单独列出