有限状态自动机

DFA 是一个五元组 $(Q,\Sigma, \delta,q_0,F)$:

1. 有限状态集合 $Q$.
   如果把 DFA 看作一张有向图，那么 $Q$ 中的每一个状态可以看作是节点.
2. 字符集 $\Sigma$
   DFA 只能接受字符集中的字符输入.
3. 转移函数 $\delta:Q\times \Sigma\mapsto Q$
   类似于有向图中的有向边.
4. 起始状态 $q_0$
5. 接受状态集合 $F$. 表示哪些状态是可以接受的. 满足 $F\subseteq Q$