查询词典 Turing computability

Turing machine：图录机

turing computable 图灵机可计算的 | turing machine 图录机 | turn 转向

Turing Test：杜林测试 [图灵试验]

turing machine 杜林机 [图灵机] | turing test 杜林测试 [图灵试验] | type 类型

Turing Test：图灵检定

Turing machine 图灵机 | Turing test 图灵检定 | turmoil 混乱

Turing Test：图灵实验

图灵机 Turing machine | 图灵实验 Turing test | 形式语言 formal language

Alan Turing：图灵

这个模型其实也就是一切"计算机"的原型,由现代计算机的奠基人之一阿兰"图灵(Alan Turing)提出,也称作"图灵机"(The Turing Machine). 在图灵的原始论文中,它被描述成某种匣子样的东西,有一根无限长的纸带贯穿其中,一端是作为输入,

degree of unsolvability：不可解度

图灵归约 Turing reducible | 不可解度 degree of unsolvability | 图灵度 Turing degree

multihead Turing machine：多头图灵机

多义文法 ambiguous grammar | 多头图灵机 multihead Turing machine | 多带图灵机 multitape Turing machine

compurgation：免罚宣誓

compunication 计算机与通信 | compurgation 免罚宣誓 | computability 可计算性

computability：可计算性

后来我上数学系,学了更多的"公理系统",在做毕业论文时还自己设计了一个公理系统,以便来证明数学上"可计算性"(Computability)里边,一条没有证明的定理.

computability：可算性

compulsory unitization 强制合一 | computability 可算性 | computation attribute 计算属性

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛