门| Sudo GATE 2020 Mock III（2019 年 1 月 24 日）|第 50 题

以下哪种语言是递归可枚举但不是递归的?
(A) { | M 是一个 TM 并且存在一个输入，M 在小于 || 的时间内停止脚步}
(B) {| M 是 TM 和 |L(M)| ≤ 3}
(C) {| M 是 TM 和 |L(M)| ≥ 3}
(D) {| M 是一个接受所有偶数的 TM}答案： (C)
解释： I.递归。可能输入的数量是有限的，并且 M 在每个输入上运行的步骤数是有限的，因此 M 保证会停止并决定语言。
二、不可递归枚举。
三、递归可枚举但不递归。
四、不可递归枚举。

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