考虑以下问题。 L(G) 表示由文法 G 生成的语言。 L(M) 表示机器 M 接受的语言。
(I) 对于一个无限制文法 G 和一个字符串w，是否 wϵL(G)
(二)给定图灵机M，L(M)是否正则
(III) 给定两个文法 G 1和 G 2 ，是否 L(G 1 ) = L(G 2 )
(IV) 给定一个 NFA N，是否存在确定性的 PDA P 使得 N 和 P 接受相同的语言
以下哪个说法是正确的?
(A)只有 I 和 II 是不可判定的
(B)只有 II 是不可判定的
(C)只有 II 和 IV 是不可判定的
(D)只有 I、II 和 III 是不可判定的答案： (D)
解释： I、II 和 III 是不可判定的，参考这个：
来到 IV，每种常规语言都是 Deterministic-CFL，这是一个微不足道的属性。
选项(D)是正确的。
这个问题的测验