停机问题的英文

halting problem

• 停机:    halt; closing down ...
• 问题:    question; problem
• 框图模式停机问题:    halting problem of ...

例句与用法

1. We say that the halting problem is
   我们说停机问题在图灵机上是
2. The first area is represented by the " halting problem " in computer science
   第一个领域的代表是计算机科学中的“停机问题” 。
3. It turns out that proving programs correct is equivalent to solving the halting problem
   证明程序是正确的等价于解决停机问题。
4. Alan turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist
   Alan turing在1936年证明了对所有可能输入解决停机问题的通用算法是不存在的。
5. From a theoretical point of view , the separation of data and code in von neumann machines is equivalent to the halting problem ; hence , a complete static translation is not possible
   从理论上说，分离von neumann上的数据和代码就好象停机问题，因此完全的静态翻译是不可能的。

百科释义

停机问题（halting problem）是逻辑数学中可计算性理论的一个问题。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。