s-m-n定理
(计算机科学技术名词)
s-m-n定理(s-m-n theorem)是2018年全国科学技术名词审定委员会公布的计算机科学技术名词,出自《计算机科学技术名词 》第三版。定理如下:给定一个m+n元可计算函数f(;),存在一个m元可计算函数s使对一切;;f(;)=(),这里e是编码为的图灵机计算的函数。定理说明多元可计算函数的一部分输入可以作为参数构造新的图灵机,且新图灵机的编码有可能求出。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】