令 L1 为常规语言，L2 为确定性上下文无关语言，L3 为递归可枚举但不是递归的语言。以下哪一项陈述是错误的?
(A) L1 ∩ L2 是确定性 CFL
(B) L3 ∩ L1 是递归的
(C) L1 ∪ L2 是上下文无关的
(D) L1 ∩ L2 ∩ L3 可递归枚举答案：(乙)
解释：
(A) 这个陈述是正确的，因为确定性上下文无关语言在与常规语言的交集下是封闭的。 (B) 这个陈述是错误的，因为 L1 是递归的，并且每个递归语言都是可判定的。 L3 可递归枚举但不可递归。因此，L3 是不可判定的。递归语言和递归可枚举语言的交集是递归可枚举的。 (C) 这个陈述是正确的，因为 L1 是正则的。每一种常规语言也是一种上下文无关语言。 L2 是确定性上下文无关语言，每个 DCFL 也是上下文无关语言。每种上下文无关语言都在 Union 下关闭。
(D) 这个陈述是正确的，因为 L1 是正则的，因此它也是递归可枚举的。 L2 是确定性上下文无关语言，因此它也是递归可枚举的。递归可枚举语言在交集下是封闭的。
因此，选项(A)中提到的问题是不可判定的。
如果您发现上面的帖子有任何错误，请在下面发表评论。这个问题的测验