递归论科技名词
递归论科技名词:第2页
有限型
finite type
算术分层
arithmetical hierarchy
解析分层
analytic hierarchy
NP问题
NP problem
图灵机
Turing machine
确定性图灵机
deterministic Turing machine
非确定性图灵机
non-deterministic Turing machine
可计算性
computability
停机问题
halting problem
自动机
automata
字母表
alphabet
算法
algorithm
计算
computation
间隙
gap
枚举
enumeration
瞬时描述
instantaneous description
次递归性
subrecursiveness
带
tape
标号
label
加速
speedup
正合对
exact pair
创造集
creative set
控制函数
dominant function
超单纯
hypersimple
及时单纯集
promptly simple set
相对递归性
relative recursiveness
跃变
jump
可归约[的]
reducible
优先[方]法
priority method
损害集
injury set
首页
上一页
第2页
下一页
递归论 的上级学科
数学
数理逻辑数学基础
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单