对于图灵机 M，⟨M⟩ 表示 M 的一种编码。考虑以下两种语言。
- L1 = { ⟨M⟩ ∣ M 在所有输入上需要超过 2021 步 }
- L2 = { ⟨M⟩ ∣ M 在某些输入上需要超过 2021 步 }
- 以下哪个选项是正确的?
- 对于L1：检查图灵机M是否在2021步内停止，对于长度小于或等于2021的所有输入，如果在2021步内没有停止，肯定是在2021步以上，所以是可判定的。
- 对于 L2：类似地，我们可以检查图灵机 M 是否在 2021 步内停止，对于某些长度小于或等于 2021 的输入。如果它在某些输入的 2021 步内没有停止，则它正在执行超过 2021 步，所以它也是可判定的。
(A) L1 和 L2 都是可判定的
(B) L1 是可判定的，L2 是不可判定的
(C) L1 是不可判定的，L2 是可判定的
(D) L1 和 L2 都是不可判定的答案：(一)
解释：这个问题的测验