以下哪一项是不可判定的?
(A)给定图灵机 M、字符串s 和整数 k，M 在 k 步内接受 s
(B)两个给定图灵机的等价性
(C)给定的有限状态机接受的语言不为空
(D)由上下文无关文法生成的语言是非空的答案：(乙)
解释：
- (A)这是可判定的，因为给定图灵机 M、字符串s 和整数 k，M 在 k 步内接受 s 是停止还是不停止，但它将在 k 步内决定。
- (B)两个图灵机的等价性是不可判定的，因为递归可枚举语言在补码下不是封闭的。
- (C)给定的有限状态机接受的语言不为空绝对是可判定的，因为我们总是可以最小化 DFA 并查看它是否是没有接受状态的单个状态
- (D)由上下文无关文法生成的语言是非空的，因此我们有算法。
选项(B)是正确的。
这个问题的测验