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