门| GATE-CS-2014-(Set-1)|问题24

以下哪一项是TRUE?

(A) A
(B) B
(C) C
(D) D答案： (C)
说明： (A) L = {anbn | n> = 0}是不规则的，因为不存在可以
得出这种语法。直观地讲，有限自动机具有有限的内存，因此无法跟踪
数量为。它是标准的CFL。

(B) L = {anbn | n是素数}再次不规则，因为没有办法记住/检查
当前n是否为质数。因此，不存在导出此语法的有限自动机，因此它
是不正常的。

(C) L = {w | w具有3k + 1 bs}是一种常规语言，因为k是一个固定常数，我们可以轻松地
将L模拟为∗ ba ∗…..ba ∗，使得正好有3k + 1 bs和a ∗ s围绕每个b
语法。

(D) L = {ww | w∈∑ ∗}再次不是常规语法，实际上甚至不是CFG。没有
有限自动机记住和导出双字的方法。

因此，正确答案将是(C)。
此解决方案由vineet purswani提供。
这个问题的测验