Co-Authored-By: Margatroid <i@margatroid.xyz>
1. **字符集** （ $\Sigma$ ），该自动机只能输入这些字符。
2. **状态集合** （ $Q$ ）。如果把一个 DFA 看成一张有向图，那么 DFA 中的状态就相当于图上的顶点。
3. **起始状态** （ $start$ ）， $start\in Q$ ，是一个特殊的状态。起始状态一般用 $s$ 表示，为了避免混淆，本文中使用 $start$ 。
-4. **接受状态集合** （ $F$ ）， $F\subseteq Q$ ，是一堆特殊的状态。
+4. **接受状态集合** （ $F$ ）， $F\subseteq Q$ ，是一组特殊的状态。
5. **转移函数** （ $\delta$ ）， $\delta$ 是一个接受两个参数返回一个值的函数，其中第一个参数和返回值都是一个状态，第二个参数是字符集中的一个字符。如果把一个 DFA 看成一张有向图，那么 DFA 中的转移函数就相当于顶点间的边，而每条边上都有一个字符。
DFA 的作用就是识别字符串，一个自动机 $A$ ，若它能识别（接受）字符串 $S$ ，那么 $A(S)=True$ ，否则 $A(S)=False$ 。
OSDN Git Service
