带参数的递归定理

（计算机科学技术）
带参数的递归定理（recursion theorem with parameters），计算机科学技术名词，如果 f(x，y) 是一个可计算函数，那么存在一个可计算函数 n(y) 使得，这里是编码为 z 的图灵机计算的函数。
知识树
时光轴
论点集
总题库
领域
计算机
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》