- 是什么？任意时刻的输出信号不仅取决于当时的输入信号，还取决于电路之前的状态
- 结构：
- 组合电路：非必须
- 存储电路：输出端连接到组合电路的输入端，共同决定组合电路的输出状态（非必须）
- 类型：
- Mealy：输出信号不仅取决于存储电路的状态，还取决于输入变量
- Moore：输出仅仅取决于存储电路的状态
- 别称（state machine; finite state machine; algorithmic state machine)
- 时序分类：
- 同步时序电路： 基本组成单元为组合电路
- 写出每个触发器的驱动方程（存储电路的输入信号的逻辑函数式）
- 带入相应的特性方程，得到每个触发器的状态方程，从而得到状态方程组
- 写出输出方程
- 异步时序电路：基本组成单元为存储电路。
- 同步时序电路： 基本组成单元为组合电路