编译原理-确定有穷自动机(deterministic finite automata ，DFA)

是一个五元组

M=(S,∑,f,S0,F)

其中

S：有穷状态集

∑：输入字母表(有穷)

f：状态转换函数。f(S,a)=S'

是单值部分映射，每个状态面临一个输入符号时，转入的后继状态是确定的。

S0∈S：唯一初态

F∈S：终态集(可空)