这是语法{a ^ nb ^ 2n | n> = 0}是否正常？

Question

我不明白这份陈述的艰巨性，有人可以帮我吗？

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

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

谢谢大家！

Answer 1

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