门| GATE-CS-2017(Set 2)|第39章

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

则α(q2，aba)为
(A)直径
(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(无输入的曼)，从q2可以通过epsilon移动到达q0，因此状态q2和q0也是扩展转换函数的一部分。
所以说q1，q2，q0

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