在字母Σ上，令L为常规语言，M为无上下文语言。令Lc和Mc分别表示L和M的补码。关于语言Lc∪Mc的以下哪个陈述是正确的
(A)它一定是常规的，但不一定是上下文无关的
(B)它不一定是上下文无关的。
(C)它一定是不规则的。
(D)以上都不是答案： (D)
解释：
主张：
L是一门普通语言
M是上下文无关的语言
派生：
L_c union M_c =补码{L交集M}
现在，根据CFL的闭合定律，L交集M是CFL，即CFL与RL的交集始终是CFL。
但是，补数{L交集M}可能不是CFL，因为对CFL的补数不能保证CFL。它甚至可以是RL，或者甚至可以位于CFL圈子之外。毫无疑问，这将是上下文相关的语言，但无话可说。
结论：
考虑到以上推导，没有一个陈述是正确的。因此，正确答案将是(D)以上都不是。
相关文章：
http://quiz.geeksforgeeks.org/theory-of-computation-closure-properties-of-context-free-languages/
此解决方案由Vineet Purswani提供。
这个问题的测验