応用情報技術者 試験情報＆徹底解説

表の有限オートマトンを図にすると次のようになります。ビット列「110」が入力されるときに、a〜dのどの状態であるかはわかりませんが、最後の0が入力されて遷移する先はaかcのどちらかしかないので、bとdは正解候補から除外できます。

aとcを比較してみると、cが受理状態となるケースは、

• b→(1)→d→(1)→d→(0)→c
• c→(1)→b→(1)→d→(0)→c
• a→(1)→b→(1)→d→(0)→c

という3つが考えられます。

一方aのケースを考えてみると、aの直前状態であるcに遷移するには状態b，dに0が入力されなければならず、aが受理状態になるには入力ビット列の後ろ2つが「0」であることが必要条件になります。したがって「110」を受理するルートはありません。

これらのことから「c」が適切とわかります。