GATE | GATE CS Mock 2018 | Set 2 | Question 39

Let δ denote the transition function and α denoted the extended transition function of the ε-NFA whose transition table is given below:

Which of the following option is correct?
(A) α (q1,aba) is {q0, q2}
(B) null reachable states are {q0, q1, q2}
(C) α (q3,bab) is {q0, q1, q2, q3}
(D) None of these

Answer: (C)
Explanation: Null NFA is :

Therefore, α (q1,aba) is {q0, q2, q3}, null reachable states are {q0, q2} and α (q3,bab) is {q0, q1, q2, q3}.
Only option (C) is correct.
Quiz of this Question