对于图灵机M，⟨M⟩表示M的编码。请考虑以下两种语言。
- L1 = {⟨M⟩∣ M在所有输入上采取超过2021的步幅}
- L2 = {⟨M⟩∣ M在某些输入上花费了2021多步}
- 以下哪个选项是正确的?
- 对于L1：检查图灵机M是否在2021步内停止，对于长度小于或等于2021的所有输入，如果未在2021步内停止，则肯定是在2021步以上，因此可以确定。
- 对于L2：类似地，我们可以检查Turing机M是否在2021步内停止，对于某些长度小于或等于2021的输入。如果某些输入的长度不在2021步内停止，则占用的时间超过2021步，因此它也是可以决定的。
(A) L1和L2均可确定
(B) L1是可确定的，L2是不可确定的
(C) L1不可确定，L2可确定
(D) L1和L2都不确定答案： (A)
解释：这个问题的测验