1. 经典状态机

• x(t)为当前输入
• z(t)为当前输出
• 组合逻辑电路输出s(t+1)为次态
• 状态寄存器（也就是一组触发器）输出s(t)为现态

2. 米利状态机(Mealy)

• 组合逻辑C1模块有两个输入端:当前输入x(t)和现态s(t)，输出为次态s(t+1)
• 组合逻辑C2模块也将当前输入x(t)和现态s(t)作为输入端，输出为z(t)
• 像这样输出z(t)取决于当前输入x(t)和现态s(t)两个信号的状态机，我们称之为米利状态机(Mealy)。

3. 摩尔状态机(Moore)

• 如果输出z(t)仅取决于现态s(t)，我们称这种状态机为摩尔状态机(Moore)。