33有限自动机 331不确定的有限自动机(简称NFA) 个数学模型,它包括:一个符号标记离开同一状态有多条边 1、有限的状态集合S 2、输入符号集合∑ 3、转换函数move:S×(Σ∪{e})→P(S) 4、状态s是唯一的开始状态 5、FcS是接受状态集合a 识别语言 (ab ab 开始(0)a(1 ②2 的NFA b3.3 有 限 自 动 机 3.3.1 不确定的有限自动机（简称NFA） 一个数学模型，它包括： 1、有限的状态集合S 2、输入符号集合 3、转换函数move : S  ( {} ) → P(S) 4、状态s0是唯一的开始状态 5、F  S是接受状态集合 识别语言 (a|b) *ab 的NFA 开始 1 2 a 0 a b b 一个符号标记离开同一状态有多条边