图灵机形式化

英语翻译

Turing machine formalization

拓展翻译

通用图灵机
universal Turing machine

图灵机
Turing; Turing machine

图灵机结构
Turing machine construction

图灵机可计算函数
Turing computable function

图灵机可计算性
Turing computability

图灵机停机问题
halting problem of Turing machine

图灵测试
Turing test

图灵归约机
Turing reduction machine

图灵计算机
Turing type computer

图灵控制器
Turing control

图灵论题
Turing's thesis

缩写形式
abbreviated form

特征形式
characteristic form

图解形式
schematic form

图形形式
graphic form

算术图形数据
arithmetic picture data

算图
nomograph

随机哈密顿图
randomly-Hamiltionian graph

随机可溯图
randomly-traceable graph

随机稀疏图形
random sparse graph