NFA 的 epsilon 和空集语言是什么? (非确定性有限自动机)

Is epsilon and empty set languages of NFA? (Nondeterministic Finite Automata)

我有一个这样的 NFA:

问题是:

epsilon空集是这个NFA的语言吗?

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

所以不,空集和 ε 不属于该 NFA 语言。