DFA 确定有限状态自动机
是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表 Σ的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。
确定有限状态自动机 A 是由
- 一个非空有限的状态集合 Q
- 一个输入字母表 Σ （非空有限的字符集合）
- 一个转移函数 δ : Q × Σ → Q（例如： δ ( q , σ ) = p , ( p , q ∈ Q , σ ∈ Σ )）
- 一个开始状态 s ∈ Q
- 一个接受状态的集合 F ⊆ Q
对于一个给定的 DFA，存在唯一一个对应的有向图（但是严格意义上一个有向图不能确定出唯一一个 DFA）。有向图的每个结点对应一个状态，每条有向边对应一种转移。习惯上将结点画成两个圈表示接受状态，一个圈表示拒绝状态。用一条没有起点的边指向起始状态。
状态表：行表示当前状态，列表示输入状态
例子：解字符串转数字