2026年递归论试卷及详解.docxVIP

2026年递归论试卷及详解

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

以下选项中不属于原始递归函数三类初始函数的是

A.零函数，输入任意自然数输出结果恒为0

B.后继函数，输入任意自然数输出该数的直接后继

C.选择函数，可直接从多个输入参数中筛选符合条件的结果

D.投影函数，从n元输入组中选取第k个参数作为输出

答案：C

解析：递归论中明确规定原始递归函数的初始函数仅包含零函数、后继函数、投影函数三类，选择函数不属于初始函数范畴，需要通过复合或者递归操作构造得到，其余三个选项均为初始函数的标准定义。

依据丘奇-图灵论题，以下关于可计算性的等价描述正确的是

A.所有用自然语言描述的函数都是图灵可计算的

B.部分递归函数和图灵可计算的部分函数是完全等价的

C.运行时间有限的函数一定是全递归函数

D.所有能写出通项表达式的函数都是递归函数

答案：B

解析：丘奇-图灵论题的核心结论就是部分递归函数的集合和图灵机可以计算的部分函数集合完全等同，没有超出范围的可计算函数。其余选项错误：自然语言描述的函数可能存在矛盾或者不可判定的情况，无法被图灵机计算；运行时间有限不代表对所有输入都有定义，也可能是部分函数；有通项表达式的函数也可能存在不可计算的情况，比如对角化构造的特殊函数。

经典停机问题指的是以下哪个判定问题的不可解性

A.任意给定一个合法的图灵机编码和对应的输入串，