停机问题 编辑
停机问题是数理逻辑中可计算性理论的一个问题。通俗地说，停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
1
相关
阿克塞尔·图厄，挪威数学家，以丢番图逼近与组合数学方面的贡献而闻名。他在1914年发表了词法问题或图厄问题，这和停机问题密切相关。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
超计算或超图灵计算可以输出非可计算函数结果的计算模型。例如，一台可以解决停机问题的机器可算作一台超计算机；可以可判定性皮亚诺公理中每一个状态的机器亦然。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
阿克塞尔·图厄，挪威数学家，以丢番图逼近与组合数学方面的贡献而闻名。他在1914年发表了词法问题或图厄问题，这和停机问题密切相关。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
克莱尼–波斯特定理是可计算性理论中关于不可解度的定理，声称存在且可从停机问题计算出一对互相不可计算的不可解度。
不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题，此类问题无法总是用单一算法得出正确的是/否的答案。停机问题是这类问题的一个代表：对于停机问题，没有算法能够正确判定任意程序是否会终止运行。