What are the final states of the DFA generated from the following NFA?
- A. q0, q1, q2
- B. [q0, q1, q2]
- C. q0, [q1, q2]
- D. [q0, q1], q2
Answer: B. [q0, q1, q2]
Explanation: Subset construction. Start {q0}. E-closure({q0}) = {q0, q1, q2}. Since q2 is final in NFA, any subset containing q2 is final in DFA. The start state itself contains q2, so it's final.