准确的说，是有限状态机，维基百科是这样定义的：有限个状态以及在这些状态之间的转移和动作等行为的数学模型称为状态机。从定义中我们可以摘取出核心的内容：有限个状态、通过外部操作引起状态的转移、数学模型。