令X为递归语言，Y为递归可枚举但非递归语言。令W和Z为两种语言，以使Y’减少为W，Z’减少为X’(归约意味着标准的多一归约)。以下哪个语句为TRUE
(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提供。
这个问题的测验