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

Question

我不明白这个判断的抽水引理，有人可以帮助我吗？

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

这是否定期？如果是，为什么，如果没有原因？

感谢大家!!

Answer 1

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