以下哪种语言不确定?注意，“ M”指示图灵机M的编码。
- L 1 = {⟨M⟩L(M)=∅}
- L 2 = {输入w上的⟨M，w，q⟩M恰好以100步达到状态q}
- L 3 = {⟨M⟩L(M)不是递归的}
- L 4 = {⟨M⟩∣ L(M)包含至少21个成员}
(A)仅L 1 ，L 3和L 4
(B)仅L 1和L 3
(C)仅L 2和L 3
(D)仅L 2 ，L 3和L 4答案： (A)
解释：
L 1 = {⟨M ∣ L(M)=∅}是TM的空性问题，根据赖斯定理无法确定，因为它是一个非平凡的问题。
L 2 = {输入W上的M，w，q，M精确地以100步达到状态q}是可以确定的，因为我们可以运行TM 100步，看看它是否达到状态q。
根据赖斯定理，L 3 = {⟨M⟩L(M)不是递归的}是不确定的。
L 4 = {⟨M⟩L(M)包含至少21个成员}是不确定的。它可能会停止，也可能不会停止。
只有L 2是可判定的。
选项(A)是正确的。这个问题的测验