📜  门| GATE CS Mock 2018 |设置 2 |第 50 题

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

令 L(R) 为正则表达式 R 表示的语言。令 L(G) 为上下文无关文法 G 生成的语言。令 L(M) 为图灵机 M 接受的语言。以下哪个决定问题是可判定的?

I. L(G) 是否是确定性上下文无关语言?

二、 L(G1)∩L(G2)是否是上下文无关语言,其中G1和G2是确定性文法?

三、给定一个上下文无关文法 G,对于某个字母表 Σ,L(G)=Σ 是不是?

四、给定一个图灵机 M 和一个字符串w,w ∈ L(M) 吗?
(A)仅限 III 和 IV
(B)仅限 II 和 IV
(C)仅 I 和 II
(D)以上都不是答案: (D)
解释:都是不可判定的问题。选项(D)是正确的。
这个问题的测验