编译原理-确定有穷自动机(deterministic finite automata ,DFA)时间:2023-03-09 05:18:15 是一个五元组 M=(S,∑,f,S0,F) 其中 S:有穷状态集 ∑:输入字母表(有穷) f:状态转换函数。f(S,a)=S' 是单值部分映射,每个状态面临一个输入符号时,转入的后继状态是确定的。 S0∈S:唯一初态 F∈S:终态集(可空)