大学计算理论试题及答案.docVIP

大学计算理论试题及答案

一、单项选择题（总共10题，每题2分）

1.下面哪个不是图灵机的组成部分？

A.控制器

B.带子

C.读/写头

D.随机存储器

答案：D

2.下列哪个不是递归可枚举语言？

A.所有偶数组成的集合

B.所有可计算函数的集合

C.所有停机问题的实例的集合

D.所有自然数的集合

答案：C

3.在形式语言理论中，Chomsky谱系中哪种语言类型具有最丰富的表达能力？

A.Type-0

B.Type-1

C.Type-2

D.Type-3

答案：A

4.下面哪个不是P类问题的特征？

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

B.可以在多项式时间内被验证

C.可以在多项式时间内被解决

D.可以在多项式时间内被近似解决

答案：D

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

A.可以在多项式时间内被验证

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

C.可以在多项式时间内被近似解决

D.可以在多项式时间内被归约

答案：B

6.下面哪个不是Cook-Levin定理的结论？

A.SAT问题是NP完全的

B.NP完全问题可以在多项式时间内被解决

C.SAT问题可以归约到其他NP问题

D.NP完全问题可以在多项式时间内被验证

答案：B

7.下面哪个不是图灵机的计算模型？

A.硬盘驱动器

B.带子

C.控制器

D.读/写头

答案：A

8.下面哪个不是形式语言理论中的基本概念？

A.文法

B.语言

C.自动机

D.数据结构

答案：D

9.下面哪个不是PSPACE类问题的特征？

A.可以在多项式空间内被解决

B.可以在多项式空间内被验证

C.可以在多项式时间内被解决

D.可以在多项式时间内被近似解决

答案：C

10.下面哪个不是递归函数理论中的基本概念？

A.基本函数

B.递归函数

C.不可计算函数

D.随机函数

答案：D

二、多项选择题（总共10题，每题2分）

1.下面哪些是图灵机的组成部分？

A.控制器

B.带子

C.读/写头

D.随机存储器

答案：A,B,C

2.下面哪些是递归可枚举语言的特征？

A.可以被图灵机接受

B.可以被图灵机拒绝

C.可以被图灵机部分决定

D.可以被图灵机完全决定

答案：A,B,C

3.在形式语言理论中，Chomsky谱系中哪些语言类型具有嵌套结构？

A.Type-0

B.Type-1

C.Type-2

D.Type-3

答案：B,C

4.下面哪些是P类问题的特征？

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

B.可以在多项式时间内被验证

C.可以在多项式时间内被解决

D.可以在多项式时间内被近似解决

答案：A,B,C

5.下面哪些是NP类问题的特征？

A.可以在多项式时间内被验证

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

C.可以在多项式时间内被近似解决

D.可以在多项式时间内被归约

答案：A,C,D

6.下面哪些是Cook-Levin定理的结论？

A.SAT问题是NP完全的

B.NP完全问题可以在多项式时间内被解决

C.SAT问题可以归约到其他NP问题

D.NP完全问题可以在多项式时间内被验证

答案：A,C

7.下面哪些是图灵机的计算模型？

A.带子

B.控制器

C.读/写头

D.随机存储器

答案：A,B,C

8.下面哪些是形式语言理论中的基本概念？

A.文法

B.语言

C.自动机

D.数据结构

答案：A,B,C

9.下面哪些是PSPACE类问题的特征？

A.可以在多项式空间内被解决

B.可以在多项式空间内被验证

C.可以在多项式时间内被解决

D.可以在多项式时间内被近似解决

答案：A,B

10.下面哪些是递归函数理论中的基本概念？

A.基本函数

B.递归函数

C.不可计算函数

D.随机函数

答案：A,B,C

三、判断题（总共10题，每题2分）

1.图灵机是一种抽象的计算模型，可以模拟任何可计算的算法。

答案：正确

2.递归可枚举语言是指可以被图灵机接受的语言。

答案：正确

3.Chomsky谱系中，Type-3语言类型具有最丰富的表达能力。

答案：错误

4.P类问题是可以在多项式时间内被解决的问题。

答案：正确

5.NP类问题是可以在多项式时间内被验证的问题。

答案：正确

6.SAT问题是NP完全的。

答案：正确

7.图灵机的计算模型包括硬盘驱动器。

答案：错误

8.形式语言理论中的基本概念包括文法和自动机。

答案：正确

9.PSPACE类问题是可以在多项式空间内被解决的问题。

答案：正确

10.递归函数理论中的基本概念包括基本函数和递归函数。

答案：正确

四、简答题（总共4题，每题5分）

1.简述图