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