门| 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停止并决定语言。
二。不可递归枚举。
三，递归可枚举，但不可递归。
IV。不可递归枚举。

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