2026年计算理论考试题库及答案.docVIP

2026年计算理论考试题库及答案

一、填空题（每题2分，共20分）

1._______是计算理论中用来描述计算问题的形式化模型。

2.图灵机是一种_______计算模型，它由一个有限状态控制器和一条无限长的带子组成。

3.在形式语言理论中，_______是一种能够被有限自动机接受的语言。

4._______是一种递归函数，它能够通过一系列基本操作（如加法、乘法、递归调用自身）来计算所有递归函数。

5.在计算复杂性理论中，_______是指一个问题的解法所需的最小时间或空间资源。

6._______是一种非确定性图灵机，它能够在多项式时间内解决某些问题。

7.在形式语言理论中，_______是一种能够被正则表达式描述的语言。

8._______是一种递归函数，它只能通过有限次递归调用自身来计算。

9.在计算复杂性理论中，_______是指一个问题是否可以在多项式时间内被解决。

10._______是一种形式化系统，它由一组公理和推理规则组成。

二、判断题（每题2分，共20分）

1.图灵机是一种确定性计算模型。（×）

2.递归函数只能通过有限次递归调用自身来计算。（×）

3.正则语言是递归可枚举语言的一种。（×）

4.在计算复杂性理论中，P类问题是NP类问题的子集。（√）

5.非确定性图灵机是一种比确定性图灵机更强大的计算模型。（