2026年递归论题库及解析.docxVIP

2026年递归论题库及解析

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

下列选项中，不属于递归论定义的初始原始递归函数的是

A.输出恒为0的一元零函数

B.对输入加1的一元后继函数

C.增长速度远超所有原始递归函数的阿克曼函数

D.提取指定输入分量的n元投影函数

答案：C

解析：原始递归函数的三类初始生成元为零函数、后继函数、投影函数，三者均不需要额外递归构造即可直接定义。阿克曼函数是典型的全递归但非原始递归的函数，不属于初始原始递归函数范畴。其余三个选项描述的均为标准初始原始递归函数，不符合题干要求。

丘奇-图灵论题的核心表述是

A.所有可以用人类手工计算的函数都可以用图灵机实现计算

B.所有直观上可有效计算的函数都等价于μ递归函数

C.所有递归函数都可以转化为原始递归函数

D.所有图灵机可计算的函数都必然是停机函数

答案：B

解析：丘奇-图灵论题的核心定义就是所有直观上符合有效可计算性定义的函数，都和μ递归函数类完全等价，该论题是递归论的核心基础性假设。A选项描述的表述存在偏差，缩小了论题的适用范围；C选项显然错误，存在大量非原始递归的μ递归函数；D选项混淆了停机函数的不可判定性属性，表述完全错误。

下列关于停机问题集合K的描述中正确的是

A.K是递归集，其补集也是递归集

B.K是递归可枚举集，且不是递归集

C.K的补集是递归可枚举集

D.K属于原始