查询词典 Turing machine

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

Turing Award Citation): For his work on numerical methods, automatic coding systems, and error-detecting and error-correcting codes.

( 授予 Richard Hamming 图灵奖以表彰其在)数字方法，自动编码系统和错误检测和错误纠正编码领域的杰出贡献。

Turing is most famous for his work in helping create the "bombe" that cracked messages enciphered with the German Enigma machines.

图灵是在帮助创立"炸弹"来破译德国恩尼格玛密码机的译码信息工作中最为出名的。

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

Hill, codebreaker Alan Turing and Christopher Cockerell, inventor of the hovercraft.

希尔，译码专家阿兰。德宁，气垫船发明者克里斯多夫。科克雷尔。

The technical details of things like Turing completeness and theories of computability are beyond most of them.

如图灵可计算的完整性和理论的东西的技术细节超出了大多数。

Alan Mathison Turing, OBE (23 June 1912 7 June 1954) was an English mathematician, logician, and cryptographer.

Alan Mathison Turing，1912.6.23—1954.6.7），英国数学家、逻辑学家，被称为人工智能之父。

Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.

阿兰·麦席森·图灵(1992.6.23-1954.6.7)，大英帝国勋章获得者，是英国数学家、逻辑学家和密码破译专家。

Eddington and others' influence on Alan Turing regarding spirituality of AI.

爱丁顿爵士关於科学研究与灵性探索的学术论述及其对图霛的影响。

A key factor in Turing's model was diffusion.

在图灵模型中一个关键因素是扩散。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。