📜  门| GATE CS 2008 |问题9

📅  最后修改于: 2021-06-30 00:22:41             🧑  作者: Mango

以下哪项是可判定的?

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)是正确的。

如果您在以上文章中发现任何错误,请在下面发表评论。
这个问题的测验