计算理论期末试题及答案.docxVIP

计算理论期末试题及答案

一、单选题

1.下列哪项不是图灵机的组成部分？（）（1分）

A.控制器B.存储器C.输入输出设备D.算法

【答案】D

【解析】图灵机由控制器、存储器、输入输出设备等物理部件组成，不包括算法。

2.在计算理论中，形式语言的研究属于（）（2分）

A.可计算性理论B.计算复杂性理论C.形式语言理论D.算法设计

【答案】C

【解析】形式语言理论研究形式语言的结构和性质。

3.下面哪个命题是正确的？（）（1分）

A.所有可判定问题是可计算的B.所有可计算问题是可判定的

C.所有不可判定问题是不可计算的D.所有不可计算问题是不可判定的

【答案】A

【解析】可计算性问题一定是可判定的，但反之不成立。

4.下列哪个不是P类问题的特征？（）（2分）

A.可以在多项式时间内被解决B.可以在多项式时间内被判定

C.可以在非确定性图灵机多项式时间内被解决D.可以在非确定性图灵机多项式时间内被判定

【答案】C

【解析】P类问题可以在确定性图灵机多项式时间内被解决。

5.下面哪个不是NP类问题的特征？（）（1分）

A.可以在多项式时间内被验证B.可以在非确定性图灵机多项式时间内被解决

C.可以在确定性图灵机多项式时间内被解决D.可以在多项式时间内被验证

【答案】C

【解析】NP类问题可以在非确定性图灵机多项式时间内被解决。

6.下面哪个是NP完全问题的特征？（）（2分）

A.属于P类问