文章目录 FA的分类 确定的有穷自动机(DFA) 非确定的有穷状态机(NFA) DFA和NFA的等价性 FA的分类 确定的FA(Deterministic finite automata, DFA) 非确定的FA(Nondeterministic finite automata, NFA) 确定的有穷自动机(DFA) M = ( S , ∑ , δ , s 0 , F ) M=(S, \sum, \delta,s_0,F) M=(S,∑,δ,s0,F) S:有穷状态集 ∑ \sum ∑:输入字母表,即输入符号集合。假设 ϵ \epsilon ϵ不是 ∑ \sum