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