空動作を含む NFA で、状態 q0 から q1 へ、q1 から q3 へそれぞれ ε遷移があり、q0 から q2 へは記号 a による遷移だけがある。ほかに ε遷移はない。q0 の ε閉包（ε遷移だけでたどり着ける状態の集合）はどれか。

解説

正解は「{q0, q1, q3}」です。ε閉包は、入力を読まずに ε遷移だけでたどり着ける状態の集合で、遷移を0回行う場合の自分自身も含みます。q0 から ε で q1 へ、さらに q1 から ε で q3 へ進めるので、{q0, q1, q3} となります。ε-NFA を DFA に変換するときは、開始状態の ε閉包を DFA の開始状態とします。「{q1, q3}」は、自分自身の q0 を含め忘れています。「{q0, q1}」は、ε遷移を2回続けて q3 へ進めることを見落としています。「{q0, q1, q2, q3}」は、記号 a を読む遷移でしか行けない q2 まで含めており誤りです。