【发布时间】：2024-01-19 08:37:01
【问题描述】：
假设有一个确定性的图灵机，例如在多项式时间内运行，并决定一种语言 L。
它是否自动意味着它也决定了 L 的补语？
当说 L 的补语时，我当然是指语言 K，这样：
K = {x : x not in L}
【问题讨论】：
-
在这种情况下“决定”是什么意思？
标签： complexity-theory computation-theory turing-machines
【发布时间】：2024-01-19 08:37:01
【问题描述】：
假设您有一台运行时间有限的确定性图灵机，您可以通过反转答案轻松构建一个接受 L 的补码的图灵机。但是，这要求图灵机在每个输入上都停止（如果它决定语言 L 并因此在每个输入上停止，就是这种情况）。机器本身不是 L 补码的决定者，因为语言的决定者必须接受它。
在一般情况下，一台机器只接受（只需要在输入“是”答案时停止）但不决定（在每个输入时停止）语言 L 可能会进入一个无限循环，而不是输入L，因此可能没有可以逆转的明确“否”答案。
【讨论】：