📜  门|门 CS 1996 |问题 9

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

以下哪项陈述是错误的?

(A)图灵机的停机问题是不可判定的
(B)确定上下文无关文法是否有歧义是不可判定的
(C)给定两个任意的上下文无关文法 G1 和 G2,是否 L(G1)=L(G2) 是不可判定的
(D)给定两个正则文法 G1 和 G2,是否 L(G1)=L(G2) 是不可判定的答案: (D)
说明:图灵机停机问题是不可判定的,因为它没有算法存在。

确定上下文无关语言是不明确的是不可判定的,因为不存在确定 CFG 不明确的算法。
CFG 的等价问题是不可判定的。
关于正则语言的一切都是可判定的。

选项(D)是正确的。
这个问题的测验