2016年度 秋期 データベーススペシャリスト 午前I 問2

この問題は、与えられた有限オートマトンが特定の条件を満たすビット列を受理するように、どの状態を受理状態（受理状態：文字列の読み込みが終わったときに、その文字列が受理されると判断される状態）に設定すべきかを問うています。問題文によれば、受理すべきビット列は「長さ 3 以上の任意のビット列で、最後が 110 で終わっているもの」です。有限オートマトンは、入力記号を順に読み込み、状態遷移表（状態集合と入力記号の組み合わせで、次に遷移する状態を示す表）に従って状態を遷移させていきます。