考虑语言：
L1 = {anbncm | n, m > 0}
L2 = {anbmcm | n, m > 0} 以下哪一项陈述是错误的?
(A) L1 ∩ L2 是一种上下文无关语言
(B) L1 U L2 是一种上下文无关语言
(C) L1 和 L2 是上下文无关语言
(D) L1 ∩ L2 是上下文相关的语言答案：(一)
说明：我们可以使用一个 Stack 来识别给定语言的字符串。这些给定的语言是上下文无关的，因此也是上下文敏感的。
因为 CFL 在 Union 属性下是封闭的，所以给定语言的 union 也将是上下文无关的。
但是 CFL 在 Intersection 属性下不是封闭的，因此两个 CFL 的交集可能不是 CFL。
给定 L1 和 If L2 是两种上下文无关语言，它们的交集 L1 ∩ L2 不是上下文无关的，因为我们无法在一个堆栈的帮助下识别结果语言的字符串：
L1 = { a n b n c m | n > 0 且 m > 0 } 且 L2 = { a m b n c n | n > 0 和 m > 0 }
L3 = L1 ∩ L2 = { a n b n c n | n > 0 } 不是上下文无关的。
所以，选项(a)是错误的。
有关闭包属性，请参阅维基百科页面。
这个问题的测验