其输出时唯一的 ;
非确定性有限自动机的定义 包含 确定性有限自动机的 定义中 ;
NFA 的后继状态 可以是
0
个 ,
1
个 或 多个 , DFA 每个状态只能有
1
个后继状态 ;..., 因此其后继状态是
\rm \{ 2, 3 \}
,
情况三 : 计算出现新状态后 , 新状态的后继状态 , 一般也是一个集合 , 当计算
\rm \{ 1, 3 \}
的后续状态时 , 会分别计算集合中的两个状态分别读取...3
的后继状态, 然后取并集 ;
③ 空集 : 在推演计算时 , 有可能会出现空集 , 如
\rm \{ 3 \}
状态读取
\rm b
字符的后继状态没有 , 就是空集 ;
3....接受状态 : 如果最终的 DFA 的新状态集合中 , 包含 NFA 的接受状态 , 那么该新状态就是接受状态 ;
4....后继状态有
\rm \varepsilon
无条件跳转 : 如果读取字符后跳转的 后继状态有
\rm \varepsilon
无条件跳转 , 则该后继状态会是两个状态的集合 , 如 :
\rm