s-m-n定理

（计算机科学技术名词）

s-m-n定理（s-m-n theorem）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词，出自《计算机科学技术名词》第三版。定理如下：给定一个m+n元可计算函数f(;)，存在一个m元可计算函数s使对一切;；f(;)=()，这里e是编码为的图灵机计算的函数。定理说明多元可计算函数的一部分输入可以作为参数构造新的图灵机，且新图灵机的编码有可能求出。