表は、入力記号の集合が{0,1}、状態集合が{a,b,c,d}である有限オートマトンの状態遷移表である。長さ3以上の任意のビット列を左(上位ビット)から順に読み込んで最後が110で終わっているものを受理するには、どの状態を受理状態とすればよいか。状態遷移表は次のとおり。aは入力0でa,入力1でb。bは入力0でc,入力1でd。cは入力0でa,入力1でb。dは入力0でc,入力1でd。