令 L 为上下文无关语言，M 为常规语言。那么语言 L ∩ M 是
(A)总是有规律的
(B)从不定期
(C)始终是确定性的上下文无关语言
(D)始终是上下文无关的语言答案： (D)
解释：
L 是上下文无关语言，M 是常规语言，因此也是上下文无关的。因此，根据上下文无关语言的闭包定律，L ∩ M 肯定是上下文无关的。我们需要始终检查它是常规还是非常规。我们可以通过举例证明 st L ∩ M 既可以是正则的，也可以是非正则的。
• L = {a n b n |n ≥ 0} 并且M = a * b*，在这种情况下L ∩ M 将是L 本身，因此上下文无关但不是常规的。 L ∩ M 也不会每次都是确定性的 CFL，就像在这个例子中一样。
• L = {a n b n |n ≥ 0} 并且M = a，在这种情况下L ∩ M 将是M 本身，因此是规则的。
考虑到上述陈述，正确答案将是 (D) 始终是一种上下文无关语言。
参考：https://www.wikipedia.org/wiki/Theory_of_computation
此解决方案由vineet purswani 提供。
这个问题的测验