非确定有限自动机NFA ●定义1:一个非确定有限自动机(NFA)A是 个五元组A∑,SS,S,f,TS).其中 ∑是字母表 SS是状态集 S是初始状态集 ●f是转换函数,但不要求是单值的 ●f:Ss×C∑∪[A})→>2s5 ●TS是终止状态集非确定有限自动机NFA ⚫ 定义1：一个非确定有限自动机(NFA)A是 一个五元组A=(,SS,S0,f,TS).其中 ⚫ 是字母表 ⚫ SS是状态集 ⚫ S0是初始状态集 ⚫ f是转换函数，但不要求是单值的 ⚫ f: SS  (∪{}) → 2 SS ⚫ TS是终止状态集