平成26年度 春期 応用情報技術者試験 午前 問4
表は,入力記号の集合が {0,1},状態集合が {a,b,c,d} である有限オートマトンの状態遷移表である。長さ3以上の任意のビット列を左(上位ビット)から順に読み込んで最後が110で終わっているものを受理するには,どの状態を受理状態とすればよいか。
| 0 | 1 | |
|---|---|---|
| a | a | b |
| b | c | d |
| c | a | b |
| d | c | d |
キーボード:1〜4 で解答 → 次の問題 ← 前の問題
正解と解説を見る
解答する前に解説を開いたので、この問題は「見て解いた」として記録します(正解数には入りません)。
正解:ウ
最後の3ビット「110」を読んだときに,それ以前の状態に関係なく同じ状態に到達するかを調べます。
- 「1」を読む:a→b,b→d,c→b,d→d なので,状態は b か d になります。
- 続けて「1」を読む:b→d,d→d なので,状態は必ず d になります。
- 続けて「0」を読む:d→c なので,状態は c になります。
したがって,110で終わるビット列を読み込むと,それ以前のビットに関係なく必ず状態 c になります。c を受理状態とすればよいことになります。
-
ア: a
誤り。状態 a は,最後の2ビットが「00」のときなどに到達する状態で,110で終わる列の到達先ではありません。 -
イ: b
誤り。状態 b は,最後のビットが1で,その前が0(または先頭)のときの状態です。 -
ウ: c
正しい。110で終わるビット列を読み込むと必ず状態 c に到達するので,c を受理状態とします。 -
エ: d
誤り。状態 d は,最後の2ビットが「11」のときの状態です。
答え
ウ: c
出典:平成26年度 春期 応用情報技術者試験 午前 問4