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

📅  最后修改于: 2021-06-29 02:01:13             🧑  作者: Mango

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

如果输入的字符串是存在于语言,然后图灵机将在最终状态停止。

但是,如果图灵机无法接受输入字符串,则它将以非最终状态停止或进入无限循环,并且永不停止。
因此,“ L”是不可确定的并且是递归可枚举的。

如果您在以上文章中发现任何错误,请在下面发表评论。
这个问题的测验