以下哪个问题是不可判定的? [2007]
(A) CFG 的成员问题
(B) CFG 的二义性问题。
(C) FSA 的有限性问题。
(D) FSA 的等价问题。答案:(乙)
解释:集合在操作下是闭合的,意味着当我们使用该运算符该集合的元素时,我们会从该集合中获取一个元素。这里,CFG 生成一个 CFL,所有 CFL 的集合就是这个集合。但是歧义不是操作,因此我们永远不能说CFG在这种操作下是封闭的。只有 CFG 的歧义问题是不可判定的。
因此,选项(B)是正确的。
如果您发现上面的帖子有任何错误,请在下面发表评论。这个问题的测验