📜  门| GATE-CS-2016(套装1)|问题 27

📅  最后修改于: 2021-09-26 03:32:08             🧑  作者: Mango

以下哪个决策问题是不可判定的
(A)仅 I 和 IV
(B)仅限 II 和 III
(C)仅限 III 和 IV
(D)仅 II 和 IV答案: (C)
解释:如果没有算法可以找到问题的解决方案,则问题是不可判定的。

Statement-I 是两种正则语言可判定的不相交问题。

Statement-II 是 CFG 的成员问题,它总是可判定的。

Statement-III 是两个不可判定的上下文无关文法 (CFG) 的等价问题。

语句IV,给定图灵机M,是L(M) = Ф 是众所周知的不可判定问题,即非RE。但是,L(M) ≠ Ф 是半可判定的,即 RE 但不是 REC。

因此,只有陈述 III 和 IV 是可判定的。选项(C)是正确的。
这个问题的测验