有限状态自动机

状态机

状态机是 有限状态自动机 的简称，是现实事物运行规则抽象而成的一个数学模型。是一个计算模型，它在《可计算理论》、《编译原理》等基础课程都会涉及到。
有限状态自动机

1、什么是计算？

计算往往是给出一个问题，然后得到一个答案。
如：求面积、导航求最短路径，考试时选择题、填空题、问答题。
这些都是不同类型的问题，如果要用一个计算机模型去处理这些问题的话，希望它是统一的。变成一个类型的问题，这样计算机就好处理了。在理论研究的时候提供了一种方法就是把这些所有的问题转换成一个 判定问题。及一个问题的答案只有是或否。如：4 | x ？x = 2、6 是可以的，x = 3 是不可以的。

2、什么是有限状态自动机 FSM？

把问题编码成一个字符串，给定一个输入字符表，通过机器进行判定是接受还是拒绝。
s = “0101001110” 有偶数 “1”？，两种状态 奇/偶，0 不改变状态 1 改变状态。

“状态”（ State ）

现实事物是有不同状态的，通常所说的状态机是有限状态机，也就是被描述的事物的状态的数量是有限个，例如一个自动门，就有 open 和 clos