参考文献

有限状态机

状态机：表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型

有限状态机的下一个状态和输出，是由输入和当前状态决定的。

分类：

接收器和识别器：

接收器和识别器（序列检测器）产生一个二元输出，是或者否回答输入是否被机器接受，所有有限状态机的状态是称为接受或者不接受。 在所有处理都被处理，若当前状态是接受状态，输入被接受，否则被拒绝。

开始状态：一个没有起点的箭头
接受（最终）状态：接受状态（最终状态）是机器回报到目前为止，输入的字符串属于它所接收的内容之状态，状态图中通常将其标注为双圆圈
开始状态也可以是接受状态，此情况下自动机会接受空字符串，。如果开始状态不是接受状态，且没有可以连到任何接受状态的箭头，那么此自动机就不会“接受”任何输入

变换器：

两种变换器：
1.Moore机，摩尔型有限状态机。 只使用进入动作的有限状态机，也就是输出只依赖于状态
2.Mealy机，米莉型有限状态机。 只使用输入动作的有限状态机，也就是输出依赖于输入和状态