本文へスキップ

技術士試験(情報工学部門)・情報技術者試験。ファーストマクロ。


Since 2016.4.19

平成30年度 技術士第一次試験問題【専門科目】

V−3

プッシュダウン・オートマトンとチューリング機械に関する次の記述のうち、最も適切なものはどれか。

@ 全ての非決定性プッシュダウン・オートマトンは、等価な決定性プッシュダウン・オートマトンを持つ。

A チューリング機械は、プッシュダウン・オートマトンのスタックを有限長のテープに代えたものであり、スタックに関する操作の代わりにテープ上の書き込み位置を左右に動かす操作が加えられている。

B 任意のチューリング機械Mと任意の記号列σに対して、Mがσを入力として行う計算が停止するか否かを判定する万能チューリング機械を必ず構成できる。

C プッシュダウン・オートマトンが認識できる言語は文脈自由であるが、文脈自由言語の中には、プッシュダウン・オートマトンで認識できないものがある。

D プッシュダウン・オートマトンは、 有限オートマトンに対してスタックとスタックに関する操作を加えたものである。


正解

D


解説

@非決定性プッシュダウン・オートマトン ⊂ 決定性プッシュダウン・オートマトンの関係があり、全ての非決定性プッシュダウン・オートマトンは、等価な決定性プッシュダウン・オートマトンに変換が可能である。
本質的には適切な記述であると考えられる。
Aチューリング機械は、プッシュダウン・オートマトンのスタックを無限長のテープに代えたものである。
B必ずしも万能チューリング機械を構成できるわけではない。
Cプッシュダウン・オートマトンが認識できる言語と文脈自由言語は等価な関係がある。
D正しい。

V−2 目次 V−4