是ε和NFA的空集语言吗？ （非确定性有限自动机）

Question

我的NFA是这样的： enter image description here

问题是：

是这个NFA的epsilon和空集语言吗？

Answer 1

您的自动机需要至少{b，a}才能达到最终状态。因此，由于无法在没有转换的情况下到达终点，因此空集不在其语言中。此外，由于从开始到完成的路径完全由ε-过渡组成，因此无法仅使用ε到达最终状态。

所以不，空集和ε不是NFA语言的一部分。