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

2026年大学计算理论试题及答案

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

1.以下哪种语言模型是图灵可识别的？（）

A.正则语言

B.上下文无关语言

C.递归可枚举语言

D.递归语言

2.图灵机的状态转移函数是从以下哪个集合到另一个集合的映射？（）

A.状态×带符号到状态×带符号×移动方向

B.状态×输入符号到状态×带符号×移动方向

C.状态×带符号到状态×输入符号×移动方向

D.状态×输入符号到状态×输入符号×移动方向

3.若一个语言L是递归的，那么以下说法正确的是（）

A.它的补语言一定不是递归的

B.它一定是图灵可识别的

C.它不是图灵可识别的

D.它的补语言不是图灵可识别的

4.以下哪个是停机问题的正确描述？（）

A.确定一个图灵机是否会停机在所有输入上

B.确定一个图灵机是否会停机在某个特定输入上

C.确定一个图灵机是否会停机在空输入上

D.确定所有图灵机是否会停机

5.正则语言在以下哪种运算下不封闭？（）

A.并运算

B.交运算

C.补运算

D.无限并运算

6.上下文无关文法的产生式形式是（）

A.A→α，其中A是终结符，α是非终结符串

B.A→α，其中A是非终结符，α是终结符串

C.A→α，其中A是非终结符，α是由终结符和非终结符组成的串

D.A→α，其中A是终结符，α是由终结符和