确定性有限状态机（Deterministic Finite Automata, DFA）
DFA包含以下要素：
- 一个有限大小的状态集合，常记为 $Q$。
- 一个有限大小的输入符号集合，常记为 $\Sigma$。
- 一个状态转换函数，其参数为一个状态（设为 $B$）和一个输入符号（设为 $a$），返回一个状态（设为 $C$），表现了状态机在状态 $B$ 时，若接收到输入 $a$，则应该转到状态 $C$，常记为 $\delta$，如 $C = \delta(B, a)$。
- 一个开始状态，常记为 $q_0$，$q_0 \in Q$
- 一个终止或者接受状态的集合，常记为 $F$，$F \subseteq Q$。
DFA 常常用如上五种要素的元组表示，记为 $A = (Q, \Sigma, \delta, q_0, F)$