停机问题是逻辑学的焦点，也是第三次数学危机的解决方案。其本质问题是: 给定一个图灵机 T，和一个任意语言集合 S, 是否 T 会最终停机于每一个s∈S。其意义相同于可确定语言。显然任意有限 S 是可判定性的，可列的(countable) S 也是可停机的。
...停机问题（halting problem）是逻辑数学中可计算性理论的一个问题。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
基于2950个网页-相关网页
试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。
To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling.
然而，所有这些计算系统受到的停机问题已知的限制。
However, all such computational systems are subject to a limitation known as the Halting problem.
应用推荐