令 L 为常规语言，M 为上下文无关语言，均位于字母表 Σ 上。令 Lc 和 Mc 分别表示 L 和 M 的补码。下列关于 Lc∪ Mc 语言的叙述中，正确的是
(A)它一定是规则的，但不一定是上下文无关的
(B)它必然是上下文无关的。
(C)它必然是非常规的。
(D)以上都不是答案： (D)
解释：
主张：
L是正则语言
M 是一种上下文无关语言
推导：
L_c 联合 M_c = 补{L 交集 M}
现在，根据 CFL 的闭合定律，L 交点 M 是 CFL，即 CFL 与 RL 的交集始终是 CFL。
但是，补体{L 交叉点 M} 可能不是 CFL，因为 CFL 上的补体并不能保证 CFL。它甚至可以是 RL 或者它甚至可能位于 CFL 圈之外。它肯定会是一种上下文敏感的语言，但除此之外别无他法。
结论：
考虑到上述推导，没有一个陈述是正确的。因此正确答案是(D)以上都不是。
相关文章：
https://www.geeksforgeeks.org/closure-properties-of-context-free-languages/
此解决方案由Vineet Purswani 提供。
这个问题的测验