令 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)
解释:
- 正则语言的隶属度问题 -> 可判定
- CFL 的空性 -> 可判定
- L(G)=Σ ∗ CFL 问题 ->不可判定
- RE 语言的隶属度问题 ->不可判定
因此,选项 D
这个问题的测验