2016年度 秋期 プロジェクトマネージャ 午前I 問2

選択肢ウの「c」が正解である理由は、オートマトンが「110」というパターンを認識するために、状態「c」がそのパターンが完了したことを示す状態として設定されていると推測されるからです。例えば、「a」は初期状態、「b」は「1」を受け取った状態、「c」は「11」を受け取った状態、「d」は「110」の途中の状態、または「110」以外のパターンになった状態など、各状態が特定の接頭辞やパターンの完了を示すように遷移が設計されていると考えられます。そして、最終的に「110」が確定した際に到達する状態が受理状態となるため、「c」がその役割を担っていると考えられます。

他の選択肢が誤りである理由として、アの「a」は通常、初期状態や、どのパターンも認識できていない状態を表すことが多く、特定のビット列の末尾を受理する状態としては不適切です。イの「b」は、おそらく「1」という単一のビットを受け取った状態などを表すと考えられ、「110」という3ビットのパターン全体を受理する状態ではないため不適切です。エの「d」は、受理状態として意図されている「c」以外の状態、例えば「110」以外のパターンで終了した場合や、処理の途中で遷移する状態など、受理条件を満たさない状態である可能性が高いです。