3.3.2不确定的有穷自动机NFA
接下来我们讨论不确定的有穷自动机NFA
定义
不确定的有穷自动机NFA N=(K，∑，f，S，Z)
其中：
K为状态的有穷非空集
∑为有穷输入字母表
f为K
*
∑
*
到K的子集（2
K
）的映射
S
K是初始状态集
Z
K为终止状态集。
K是初始状态集K为终止状态集。K是初始状态集K为终止状态集。