2026年递归论习题及分析.docxVIP

2026年递归论习题及分析

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

以下函数中属于本原递归函数的是

A.通用图灵机的停机判定函数

B.任意自然数的阶乘计算函数

C.任意递归可枚举集的补集的特征函数

D.所有输入都无终止输出的空函数

答案：B

解析：正确选项依据是自然数阶乘可以通过初始本原递归函数经过有限次复合和本原递归操作生成，完全符合本原递归函数的定义。A选项的停机判定函数是典型的不可计算函数，不属于递归函数更不属于本原递归函数；C选项中递归可枚举集的补集不一定是递归集，对应的特征函数不具备可计算性；D选项的空函数没有确定输出规则，不属于合法的递归函数范畴。

丘奇-图灵论题的核心内涵是

A.所有人类能想到的函数都是可计算的

B.任何直观上可有效计算的函数都等价于图灵可计算函数

C.图灵机的计算能力可以覆盖所有跨维度的物理计算场景

D.不存在计算能力超过图灵机的任何计算装置

答案：B

解析：丘奇-图灵论题的公认定义就是将直观的有效可计算性概念和严格定义的图灵可计算性概念划等号，是递归论的核心基础假设。A选项明显错误，存在大量人类可描述但无法有效计算的函数；C选项的描述超出了原论题的适用范围，原论题仅针对可计算函数的逻辑层面；D选项是对论题的过度延伸，原论题未否定超计算装置的逻辑可能性。

递归集的核心判定标准是

A.存在图灵机能接受该集合中的所有元素

B.