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

📅  最后修改于: 2021-07-02 16:43:28             🧑  作者: Mango

以下哪些决策问题无法确定
(A)仅I和IV
(B)仅II和III
(C)仅III和IV
(D)仅II和IV答案: (C)
说明:如果没有找到解决方案的算法,则无法确定问题。

语句-I是两种常规语言的不相交问题可以确定的。

声明II是CFG的成员资格问题,始终是可以决定的。

陈述III是两个上下文不确定文法(CFG)的等价问题,尚无法确定。

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

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