门| GATE-CS-2003 |第54章

定义语言L0和L1如下：

L0 = {< M, w, 0 > | M halts on w}
L1 = {< M, w, 1 > | M does not halts on w} 

在这里是一个三元组，其第一个成分。 M是图灵机的编码，第二个成分w是一个字符串，第三个成分i是一个位。令L = L0∪L1。以下内容哪些是对的 ?
(A) L是递归可枚举的，但L’不是
(B) L’是递归可枚举的，但L不是
(C) L和L’都是递归的
(D) L和L’都不可递归枚举答案： (D)
说明：由于图灵机的停止问题无法确定。因此，L = L0∪L1是不可确定的，甚至是不可确定的。那不是递归可枚举的，因此，它的补码(L’)也不是递归可枚举的。

选项(D)是正确的。
这个问题的测验