14 我不知道以下语言在是怎么出现的。RR LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|} （我知道它在因为这个选择题有答案，但没有解释）。RR 我马上想到了 ，因为我们知道，如果检查两台机器接受同样的语言确实是不可判定，我来想：是不是立竿见影“假”，但它不可能是因为有很多图灵机接受相同的答案并使用不同的编码。LM1∉co-RE∪RELM1∉co-RE∪RE 谢谢！ computability undecidability — 约瑟夫 source
14 大号中号1个大号中号1个[R[R[R[R。 — 戴夫·克拉克 source 9 重要说明：尽管语言 大号中号1个大号中号1个 可决定的，功能 F（M）= L中号F（中号）=大号中号实际发现该语言的决策者是不可计算的。我认为这可能就是为什么结果最初违反直觉的原因。 — templatetypedef