让 L1 是递归语言，让 L2 是递归可枚举但不是递归语言。以下哪一项是正确的?
L1' --> Complement of L1
L2' --> Complement of L2 (A) L1′ 是递归的，L2′ 是递归可枚举的
(B) L1′ 是递归的，L2′ 不可递归枚举
(C) L1′ 和 L2′ 可递归枚举
(D) L1′ 是递归可枚举的，L2′ 是递归的答案：(乙)
说明：递归可枚举语言在形式语言的乔姆斯基层次结构中被称为类型 0 语言。所有常规的、上下文无关的、上下文敏感的和递归的语言都是递归可枚举的(来源：http://en.wikipedia.org/wiki/Recursively_enumerable_language)
递归语言在互补下是封闭的，但递归可枚举在互补下不是封闭的。如果语言 L是递归可枚举的，那么它的补集是递归可枚举的当且仅当L 也是递归的。由于 L2 可递归枚举，但不可递归，因此 L2′ 不可递归枚举。
这个问题的测验