如果语言 L 的字符串可以按字典(即字母)顺序有效枚举，以下哪个陈述是正确的?
(A) L 必然是有限的
(B) L 是正则但不一定是有限的
(C) L 是上下文无关的，但不一定是规则的
(D) L 是递归的，但不一定是上下文无关的答案： (D)
解释：
可以有效枚举语言 L 的字符串意味着存在语言 L 的图灵机，它将枚举该语言的所有有效字符串。如果字符串是按字典顺序排列的，那么 TM 将接受该字符串并在最终状态停止。
但是，如果字符串不是字典顺序，那么 TM 将拒绝该字符串并在非最终状态中停止。因此，L 是递归语言。我们不能为语言 L 构造 PDA。因此，给定的语言不是上下文无关的。
因此，选项(D)是正确的。
如果您发现上面的帖子有任何错误，请在下面发表评论。
这个问题的测验