L = {a^n a^n b^m |m, n ≥ 0} 是规则语言还是不规则语言？

Question

我在solving/proving这个问题上遇到了麻烦。我可以理解，在非常规的情况下，没有有限状态 Automaton/Machine 可以编写来验证并接受此输入，因为它缺少内存组件。 (如有错误请指正)

关于正则语言的维基百科条目也列出了这个例子，但没有提供（数学）证明为什么它不是正则的。

Answer 1

这种语言被正则表达式接受(aa)*b*，所以是的，它是一种常规语言。