2016年度 春期 基本情報技術者 午前 問2

この問題は、与えられた状態遷移図（図表は省略）に従ってビット列を読み込み、最終的に受理状態に到達するものを特定するものです。オートマトンは、有限個の状態と、状態間の遷移を定義する規則を持つ計算モデルです。ビット列が与えられたとき、オートマトンは初期状態から出発し、ビット列の各ビットを順に読み込みながら遷移規則に従って状態を変化させていきます。もし、ビット列の全てのビットを読み終えたときに、オートマトンが受理状態に到達していれば、そのビット列は受理されることになります。