DFA和NFA的五元组定义，DFA和NFA的区别

1.DFA的五元组定义:
 DFA是一个确定有限自动机DFA， M是一个五元组
 M = (S,∑,M,S0,F)
 S: state非空有穷状态集合
 ∑: 字母表，可输入符号
 S0:start唯一初态 ,S0∈S
 F:Finish为终态集合，表示结束状态
 M:Move是一个从Sx∑到S中一个状态的转换函数集合。转移函数m（s1,a） = s2 表示在当前状态s1,输入符号a后转换到s2状态，s2为s1的转换状态。输入a后只有一个转换状态，称为单值转换。

2.NFA的五元组定义:
NFA是一个非确定有限自动机DFA,M是一个五元组
 M = (S,∑,M,S0,F)
 S: state非空有穷状态集合
 ∑: 字母表，可输入符号
 S0:start唯一初态 ,S0∈S
 F:Finish为终态集合，表示结束状态
 M:Move是一个从Sx∑*到 ρ （ ρ $\subseteq$ S ）中一个状态的转换函数集合。

3.NFA和DFA的区别:
(1) NFA中的M是一个多值映射，而DFA是单值映射；
(2)NFA输入的是符号串，DFA输入的是符号；
(3)NFA可能有空转换ε标识，DFA没有ε标识；