范式定理
(计算机科学技术)
范式定理(normal form theorem),计算机科学技术名词,存在一个原始递归函数 U(y) 使得对一切 e,x , 有(x)=U(μyT(e,x,y)) ,这里是第 e 个图灵机计算的函数, T 是克林T谓词。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】