大门|大门CS 2010 |问题65

让L1成为递归语言。假设L2和L3是递归可枚举但不是递归的语言。以下哪项陈述不一定正确？ （A） L2–L1是递归可枚举的。 （B） L1–L3是递归可枚举的 （C） L2∩ L1是递归可枚举的 （D） L2∪ L1是递归可枚举的 答复: （B） 说明：

A) Always True
(Recursively enumerable - Recursive ) is 
Recursively enumerable

B) Not always true
L1 - L3 = L1 intersection ( Complement L3 )
L1 is recursive , L3 is recursively enumerable 
but not recursive Recursively enumerable languages
are NOT closed under complement.

C) and D) Always true Recursively enumerable languages 
are closed under intersection and union. 

这个问题的小测验