以下哪项是可判定的?
I. Whether the intersection of two regular languages is infinite
II. Whether a given context-free language is regular
III. Whether two push-down automata accept the same language
IV. Whether a given grammar is context-free
(A) I和II
(B)我和四
(C) II和III
(D) II和IV答案: (B)
说明: (A)两种常规语言的交集是常规的,并且可以确定常规语言是否为无限种。
(B)确定上下文无关语言的规则性是不确定的。
我们检查L(CFG)是否包含长度在n到2n-1之间的任何字符串,其中n是泵送引理常数。如果是这样,则L(CFG)是无限的,否则它是有限的。
(C)除有限自动机(即常规语言)外,所有语言的平等问题都是无法确定的。
(D)我们必须检查语法是否符合CFG规则。如果它遵守这些规则,那么这是可以决定的。
因此,选项(B)是正确的。
如果您在以上文章中发现任何错误,请在下面发表评论。
这个问题的测验