确定的有穷自动机：
DFA定义：M=（K，Σ，f，S，Z）其中
① K是一个有穷集，它的每个元素称为一个状态；
② Σ是一个有穷字母表，它的每个元素称为一个输入符号，所以也称Σ为输入符号字母表；
③ f是转换函数，是K×Σ→K上的映射，即，如 f（ki，a）=kj，（ki∈K，kj∈K）就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态；
④ S ∈ K是唯一的一个初态；
...
(更多)
确定的有穷自动机： DFA定义：M=（K，Σ，f，S，Z）其中 ① K是一个有穷集，它的每个元素称为一个状态； ② Σ是一个有穷字母表，它的每个元素称为一个输入符号，所以也称Σ为输入符号字母表； ③ f是转换函数，是K×Σ→K上的映射，即，如 f（ki，a）=kj，（ki∈K，kj∈K）就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态； ④ S ∈ K是唯一的一个初态； ⑤ Z ∈ K为终止状态集。不确定的有穷自动机： NFA定义 N=(K，∑，f，S，Z) ① K为状态的有穷非空集 ② ∑为有穷输入字母表 ③ f为K* ∑*到K的子集（2K）的映射 ④ S∈K是初始状态集 ⑤ Z∈K为终止状态集。
(收起)
