如果确定性图灵机决定了语言 L，是否意味着它也决定了 L 的补语？
If a deterministic Turing Machine decides a language L, does it mean that it also decides L's complement?
假设有一个确定性的图灵机，例如一个在多项式时间内运行，并决定一种语言 L.
是否自动意味着它也决定了L的补语？
当说L的补语时，我当然是指一种语言K，这样：
K = {x : x not in L}
假设你有一个确定性的图灵机，它有一个有限的 运行 时间，你可以很容易地建立一个图灵机，通过反转它的答案来接受 L 的补集。然而，这要求图灵机在每次输入时停止（如果它决定语言 L 并因此在每次输入时停止就是这种情况）。机器本身不是L的补码的判定器，因为语言的判定器必须接受它。
在一般情况下，一台机器只接受（只需要停止输入 "yes"-answers）但不决定（停止每个输入）语言 L 可能会进入无休止的输入循环不在 L 中，因此可能没有明确的 "no"-可以反转的答案。
假设有一个确定性的图灵机，例如一个在多项式时间内运行，并决定一种语言 L.
是否自动意味着它也决定了L的补语？
当说L的补语时，我当然是指一种语言K，这样：
K = {x : x not in L}
假设你有一个确定性的图灵机，它有一个有限的 运行 时间，你可以很容易地建立一个图灵机，通过反转它的答案来接受 L 的补集。然而，这要求图灵机在每次输入时停止（如果它决定语言 L 并因此在每次输入时停止就是这种情况）。机器本身不是L的补码的判定器，因为语言的判定器必须接受它。
在一般情况下，一台机器只接受（只需要停止输入 "yes"-answers）但不决定（停止每个输入）语言 L 可能会进入无休止的输入循环不在 L 中，因此可能没有明确的 "no"-可以反转的答案。