以下哪个问题是可以确定的?
- I.给定一个TM M和一个字符串y，M是否曾经在输入y的磁带上写过符号＃?
- 二。给定{a，b}上的上下文无关文法G，G是否生成长度≤381的语言{a，b} *的所有字符串?
- 三，给定一个TM M，是否有无限多个TM M’接受相同的递归可枚举集合A = L(M)?
- IV。给定一个TM M和一个字符串y，M接受y吗?
(A) I和II
(B) II和III
(C)一，二和三
(D) II和IV答案： (B)
解释：
- I.不确定，因为可以解决暂停问题。实际上，给定M(在带字母中没有＃)，则按如下方式构造M’：M’模拟M，但是每次M想要暂停M’时，首先打印＃，然后暂停。很明显，当且仅当M’在输入y上写出]时，M on y。因此，如果我们能够决定(a)，我们将能够决定停顿问题。
- 二。可判定：每个单独的问题x∈L(G)是可判定的，我们必须检查长度≤381的每个字符串(给定的有限个=一组)是否在L(G)中。
- 三，可以决定这是微不足道的性质，因为对于每个TM M，有无限多个TM M’接受相同的重置A = L(M)。
- IV。不可思议。否则，我们可以确定问题“ M是否接受ε?”。赖斯定理无法确定后者，因为它对应于重置ε∈L(M)的非平凡性质。
因此，选项(B)是正确的。
这个问题的测验