带参数的递归定理

带参数的递归定理（recursion theorem with parameters），计算机科学技术名词，如果 f(x，y) 是一个可计算函数，那么存在一个可计算函数 n(y) 使得，这里是编码为 z 的图灵机计算的函数。