查询词典 Turing

Some priori estimates, Turing instability and global stability of positive constant steady-state solution are obtained by comparison principle, operator spectrum theory and Turing theory.

利用比较原理，算子谱理论及Turing理论，得到了正解的一些先验估计，正常数平衡态解的Turing不稳定性及正常数平衡态解的一致渐近稳定性。

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），英国数学家、逻辑学家，被称为人工智能之父。

To study the limit behavior of computations, the procedure scheme (Li, 1992, 1999) is generalized to model convergent infinite computations for analyzing how an infinite computation interacts and evolves in changing environments and what the limit of the evolution might be. The model is based on classical computation model Turing machine and Li's limit theory of sequences of formal systems.

收敛无穷计算的模型过程模式：本文将李未提出的过程模式推广为更一般的刻画收敛无穷计算的模型，该模型是基于经典计算模型Turing机和形式系统序列及其极限的理论的，可以用过程模式刻画网络上长期运行程序的计算特性与动态行为。

Turing machine, random access machine, primitive recursive, cellular automaton, finite state machine, cell probe model, pointer machine, alternation, alternating Turing machine, nondeterministic Turing machine, oracle Turing machine, probabilistic Turing machine, universal Turing machine, quantum computation, parallel models: multiprocessor model, work-depth model, parallel random-access machine, shared memory.

图灵机，随机存取机，原始递归，元胞自动机，有限状态机，细胞探针模型，指针机，交替轮流进行，图灵机，非确定性图灵机，甲骨文图灵机，概率图灵机，通用图灵机，量子计算，并行型号：多模式，工作深入模型，并行随机存取机，共享内存。

You do not need to limit your interaction to text-only as in the Turing test, but you can assume that if you wish.

你不须将互动局限于文字（像在Turing test中那样），但若你喜欢你也可以那么做。

At heart, it was a Turing Machine that operated within the constraints of real time and space.

实际上，它是一部在真正的时间和空间的限制里面操作的 Turing 机器。

Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.

课程项目包含：有限状态机与正规语言，情境无关语言，Turing机，部分递回函数，Church理论，不可判定性，可简化性与完整性，时间复杂度与NP-完整性，或然率计算，与交互验证系统。译注：Turing machine 一般译作"图灵机"或"图林机"，本课程依据专有名词保留原则，一律译为Turing机。

Just as Turing and Shannon were giants in computer technologies, many other prominent scientists, Profs.

如同计算机科技泰斗Turing和Shannon一样，许多其他著名科学家包括Newborn和Lieserson教授都在&深蓝&最终获胜这一漫长过程中发挥了重要作用。

Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine.

图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。

Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine.

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准&图灵测试&，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了