📜  门| GATE-CS-2017(套装2)|第 50 题

📅  最后修改于: 2021-09-24 05:51:29             🧑  作者: Mango

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

I.给定一个正则表达式 R 和一个字符串w,是否 w∈L(R)?

二、给定上下文无关文法 G,是 L(G)=∅

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

四、给定一个图灵机 M 和一个字符串w,w ∈ L(M) 吗?
(A)仅 I 和 IV
(B)仅限 II 和 III
(C)仅限 II、III 和 IV
(D)仅限 III 和 IV答案: (D)
解释:

  1. 正则语言的隶属度问题 -> 可判定
  2. CFL 的空性 -> 可判定
  3. L(G)=Σ CFL 问题 ->不可判定
  4. RE 语言的隶属度问题 ->不可判定

因此,选项 D
这个问题的测验