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