L(M)={x∣x∈∑∗且δ(q0,x)∩F≠ϕ}L(M)=\{x|x\in \sum^* 且 \delta(q_0,x) \cap F \ne \phi \}L(M)={x∣x∈∑∗且δ(q0,x)...这里举个例子,我们要获得[q0,q1,q2,q3][q_0,q_1,q_2,q_3][q0,q1,q2,q3]在输入字符为0的情况下的转移状态要怎么办呢?...但要是这个输入字符为空串呢?
如果我们允许NFA的输入字符为空串,那么就是ϵ−NFA\epsilon-NFAϵ−NFA了。...δ^(q0,ϵ)\hat{\delta}(q_0,\epsilon)δ^(q0,ϵ)要怎么求呢?...然后这个埃普西隆闭包怎么求呢,它的定义为那些和开始符号之间有ϵ\epsilonϵ路的状态的集合。