以下NFA中的电子封闭（r）是什么？

Question

对不起家伙我不能在这里提供图片...我无法上传图片...所以..我会给出问题的转换表。

(S/I)....a...b.....c.......e(elipson) 


p>.......{p}.....{q}...{r} ..¤(phi) 


q>.......{q} ....{r} ..¤.... {p} 


r(final)>..{r}...¤....{p}....{q} 

这里¤是phai
p是起始状态
并且r是最终状态

我的疑问是......最终状态{r}的电子关闭是否具有起始状态{p} ......，即使起始状态不会通过{{1到最终状态 .....但......最终状态通过elipson到状态elipson到达开始状态{q}

到达起始状态

在我的书中给出了

{p}

但我的问题是为什么它不是...... {p，q，r} ...而最终状态e-closure (r)={r,q} 也达到了起始状态{r} ......

Answer 1

  

ε-closure（s）是一组可从NFA状态开启的NFA状态   仅ε-过渡。

你的想法是正确的。请遵循上述定义。

因此，ε-闭合（r）=仅在ε-跃迁上从NFA状态r可到达的NFA状态集合= {p，q，r}。因此，你的书错误地计算了它。

答案必须是{p，q，r}。

注意包含状态{r}，因为状态将始终保持在ε-转换状态。状态{p}是可能的，因为p可以从ε-跃迁的NFA状态q到达，这可以从ε-跃迁的NFA状态r到达。