设 X 是递归语言，Y 是递归可枚举但不是递归语言。设 W 和 Z 是两种语言，使得 Y’ 归约为 W，Z 归约为 X’(归约意味着标准的多一归约)。以下哪一项陈述是正确的
(A) W 可以递归枚举，Z 是递归的。
(B) W 是递归的，Z 是递归可枚举的。
(C) W 不是递归可枚举的，而 Z 是递归的。
(D) W 不可递归枚举，Z 不可递归答案： (C)
说明：由于 X 是递归的，递归语言在补码下是封闭的。所以X’也是递归的。
由于Z ≤ X’ 是递归的。 (规则： 如果 Z 可归约为 X’ ，并且 X’ 是递归的，则 Z 是递归的。 )
选项(B)和(D)被取消。
并且 Y 是递归可枚举但不是递归的，所以 Y’ 不能递归枚举。
由于 Y’ 简化为 W。
并且我们知道递归可枚举的补集不是递归可枚举的，因此，W 不是递归可枚举的。所以正确的选项是 (C) 。
这里 Y’ 是 Y 的补码
X’ 是 X 的补码。
该解决方案由Abhishek Agrawal 提供。
这个问题的测验