让L1成为一种递归语言。设L2和L3是递归可枚举但不递归的语言。以下哪项陈述不一定正确？ （A）L2 - L1是递归可枚举的。 （B）L1 - L3是递归可枚举的（C）L2∩L1是递归可枚举的（D）L2∪L1是递归可枚举的
答案 0 :(得分：0)
你是对的，答案是（B）。您应该找到语言 L1 （递归语言）和 L3 （RE语言）的具体示例，其中 L1-L3 不是RE
以下是陈述（A），（C）和（D）成立的证明。我使用了every recursive language is recursively enumerable和the well-known closure properties of RE languages。
这一事实（A） L2 - L1 = L2交集（补充L1）是递归可枚举的，因为 L1 是递归的，因此（补充L1）是递归可枚举的，并且RE语言的交集也是RE语言。 （一般情况下，当且仅当 L 是递归时，RE语言 L 的补充才是RE。）
（B） L1-L3 = L1交点（补数L3）不必是RE。 （练习：找到一个反例，即找到具体语言 L1 （递归）和 L3 （RE），使 L1-L3 不是RE 。）
（C） L2交叉点L1 是RE，因为 L1 和 L2 都是RE，我们知道两种RE语言的交集RE语言。
（D） L2 union L1 是RE，因为 L1 和 L2 都是RE，我们知道两种RE语言的联合RE语言。
答案 1 :(得分：0)
L1-L3 = L1内切不需要RE
答案 2 :(得分：0)
你是对的，答案是（B）。您应该找到L1-L3不是RE的语言L1（递归语言）和L3（RE语言）的具体示例。
答案 3 :(得分：0)
答案是B.你应该找到L1和L3的具体例子