正解は ウ （1010）です。 初期状態から、ビット列を左から1文字ずつ読んで矢印をたどり、 最後に受理状態（二重丸）にいれば受理 されます。この図は「1 の後に 0 が現れたら受理」というオートマトンです。 ビット列 状態の移り変わり 最後の状態 判定 0000 q0→q0→q0→q0→q0 q0 × 0111 q0→q0→q1→q1→q1 q1 × 1010 q0→q1→q2→q2→q2 q2（受理） ○ 1111 q0→q1→q1→q1→q1 q1 ×