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

以下哪一项是正确的?

(一) A
(乙)乙
(C)丙
(四)丁答案： (C)
解释： (A) L = {anbn |n >= 0} 不是正则的，因为不存在可以
推导出这个语法。直觉上，有限自动机的内存是有限的，因此它无法跟踪
作为的数量。不过，它是标准的 CFL。

(B) L = {anbn |n is prime} 又不是正则的，因为没有办法记住/检查是否
当前 n 是否为素数。因此，不存在推导该文法的有限自动机，因此它
不正常。

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

(D) L = {ww| w ∈ Σ ∗ } 又不是正则文法，事实上它甚至不是 CFG。没有
使用有限自动机记住和导出双字的方法。

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