状态机

状态机是描述系统如何根据输入表现的计算数学模型。图 11-2 展示了一个简单的状态机，它读取一串二进制数字。机器以初始状态 S₁ 开始。它在输入数字上迭代时，相应地改变状态。本例中，机器遇到 1 时状态 S₁ 和 S₂ 重复自身，遇到 0 时激活彼此。例如，对于二进制数字 11000111，状态转换将是 S₁、S₁、S₂、S₁、S₂、S₂、S₂，最后是 S₂。

对经典状态机理论稍作改动，状态机可以成为控制理论反馈回路中的控制器。这个修改版状态机由状态列表、表示每个状态的条件，以及达到每个状态必须发生的动作组成。