这是语法 {a^n b^2n | n >= 0} 常规与否？答案

【问题标题】：Is this grammar {a^n b^2n | n >= 0} regular or not?这是语法 {a^n b^2n | n >= 0} 常规与否？
【发布时间】：2016-04-15 04:12:43
【问题描述】：

我不明白这句话的引理，有人可以帮助我吗？

{a^n b^2n | n >= 0}

这是否正常？如果是为什么，如果不是为什么？

谢谢大家！！

【问题讨论】：

Not regular 当然与 a^n b^n is not regular 的原因相同。 DFA 除了声明之外没有任何记忆，所以它是有限的记忆......但我给你留下正式的证明
好的，谢谢，它是上下文无关的吗？非常感谢
是的，因为语法：S --> epsilon, S --> a S bb 生成您的语言，它是类型 2（无上下文）
非常感谢！但是，通过为上下文无关的引理，我可以证明这个语法是上下文无关的吗？谢谢！！！
抽引理将证明语言不规则。上面的语法证明它是上下文无关的

【解决方案1】：

语言是不规则的，如果n的值改变，DFA中的状态数也会改变。在接受规则语言的DFA定义中，状态集是一个有限集。当然，另一种证明它是非正则的方法，对正则语言使用抽引引理。

【讨论】：