对于任何两种语言L1和L2，以使L1是上下文无关的，并且L2可以递归枚举而不是递归，以下哪一项是/必须是真的?
1. L1' (complement of L1) is recursive
2. L2' (complement of L2) is recursive
3. L1' is context-free
4. L1' ∪ L2 is recursively enumerable (A)仅1
(B)仅3
(C)仅3和4
(D)仅1和4答案： (D)
说明： 1. L1’(L1的补码)是递归的
L1是上下文无关的。每种上下文无关语言也是递归的，递归语言在补语下是封闭的。
4. L1’∪L2递归可枚举为真
由于L1’是递归的，因此它也是递归可枚举的，并且递归可枚举的语言在联合下是封闭的。
递归可枚举的语言在形式语言的Chomsky层次结构中被称为0类语言。所有常规，无上下文，上下文敏感和递归语言都是可递归枚举的。 (资料来源：维基)
3. L1’是上下文无关的：
上下文无关的语言不会因补语，交集或差异而封闭。
2. L2’(L2的补码)是递归的：
递归可枚举语言不会因集合差异或补全而封闭
这个问题的测验