📜  门| GATE-CS-2014-(Set-2) |第 46 题

📅  最后修改于: 2021-09-24 06:18:01             🧑  作者: Mango

将图灵机编码为 ∑= {0, 1} 上的字符串。让 L = { |M 是一个接受长度为 2014 } 的字符串的图灵机。那么,L 是
(A)可判定和递归可枚举
(B)不可判定但可递归枚举
(C)不可判定且不可递归枚举
(D)可判定但不可递归枚举答案:(乙)
说明:长度为“2014”的字符串数量有限。因此,图灵机将获取长度为 ‘2014’ 的输入字符串并对其进行测试。

如果语言中存在输入字符串,则图灵机将在最终状态下停止。

但是,如果图灵机无法接受输入字符串,那么它将在非最终状态下停止或进入无限循环并且永不停止。
因此, ‘L’ 是不可判定且可递归枚举的。

如果您发现上面的帖子有任何错误,请在下面发表评论。
这个问题的测验