门| GATE-CS-2017（套装2）|第 39 题

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

那么，α (q2,aba) 是
(一) Ø
(B) {q1, q2, q3}
(C) {q0, q1, q2}
(D) {q0, q2, q3}答案： (C)
解释：扩展转换函数描述了当我们从任何状态开始并遵循任何输入序列时会发生什么。
由于这是一个 epsilon NFA，因此我们还必须考虑 epsilon 移动，并查看在输入字符串结束后我们可以达到哪些状态。
起始状态是 q2，从 q2 转换到输入 a 是死的，所以我们必须寻找 epsilon 转换。
通过 epsilon 转换我们到达 q0，在 q0 我们有一个输入符号 a 的转换，所以我们到达状态 q1。
从 q1 我们可以用符号 b 进行转换并到达状态 q3，但是从 q3 我们没有进一步的转换以符号 a 作为输入，所以我们必须从状态 q1 进行另一个转换，即进入状态 q2 的 epsilon 转换。
从 q2 我们到达状态 q0 并读取输入 b 然后读取输入 a 并到达状态 q1。
所以q1是扩展转移函数的状态之一。
从 q1 我们可以用 epsilon 作为输入到达 q2(没有输入的 mans)，从 q2 我们可以用 epsilon move 到达 q0 所以状态 q2 和 q0 也是扩展转换函数的一部分。
所以说 q1, q2, q0

该解决方案由Parul Sharma 提供。
这个问题的测验