门| GATE CS Mock 2018年|套装2 |第39章

令δ表示过渡函数，α表示ε-NFA的扩展过渡函数，其过渡表如下：

以下哪个选项是正确的?
(A) α(q1，aba)为{q0，q2}
(B)空可达状态为{q0，q1，q2}
(C) α(q3，bab)为{q0，q1，q2，q3}
(D)这些都不是答案： (C)
说明：空NFA为：

因此，α(q1，aba)为{q0，q2，q3}，可到达的空状态为{q0，q2}，α(q3，bab)为{q0，q1，q2，q3}。
仅选项(C)是正确的。
这个问题的测验