查询词典 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 计算属性

antixerophthalmic factor：抗干眼因子

抗维生素 antivitamin | 抗干眼因子 antixerophthalmic factor | 抗干眼维生素 antixerophthalmic vitamin

January January：是一月, 一月January有新年

January, January是一月, 一月January有新年; | February, February是二月, 二月February有春节; | March , March是三月, 三月March 妇女节;