不可判定问题 编辑
不可判定问题是可计算性理论和计算复杂性理论中定义的一类决定性问题，此类问题无法总是用单一算法得出正确的是/否的答案。停机问题是这类问题的一个代表：对于停机问题，没有算法能够正确判定任意程序是否会终止运行。
1
相关
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
这是一个不可判定问题列表。
在计算复杂度理论与递归论中，预言机，又称谕示机，是一种抽象电脑，用来研究决定型问题。可以被视为一个或多个黑盒子的图灵机，这个黑盒子的功能是可以在单一运算之内解答特定问题。预言者可以解答的问题，根据给定可以是任何复杂度类之内的问题。甚至可以使用不可判定问题，像是停机问题。
这是一个不可判定问题列表。
这是一个不可判定问题列表。