📜  门| GATE-CS-2006 |第33章

📅  最后修改于: 2021-06-28 22:16:12             🧑  作者: Mango

假设L1为常规语言,L2为确定性上下文无关语言,L3为递归可枚举但非递归语言。下列哪一项陈述是错误的?
(A) L1∩L2是确定性CFL
(B) L3∩L1是递归的
(C) L1∪L2是上下文无关的
(D) L1∩L2∩L3可递归枚举答案: (B)
解释:
(A)这句话是正确的,因为确定性上下文无关语言在与常规语言的交集下是封闭的。 (B)该陈述是错误的,因为L1是递归的,并且每种递归语言都是可判定的。 L3是递归可枚举的,但不是递归的。因此,L3是不确定的。递归语言和递归可枚举语言的交集是递归可枚举的。 (C)该陈述是正确的,因为L1是正规的。每种常规语言也是上下文无关的语言。 L2是一种确定性的上下文无关语言,每个DCFL也是一种上下文无关的语言。每种上下文无关语言都在Union下关闭。
(D)该陈述是正确的,因为L1是正规的,因此它也是递归可枚举的。 L2是确定性上下文无关语言,因此,它也是递归可枚举的。递归可枚举语言在交点下关闭。

因此,选项(A)中提到的问题是无法确定的。
如果您在以上文章中发现任何错误,请在下面发表评论。这个问题的测验