regex - 为什么是 {0^n1^n | n >=0} 一种非常规语言？

Question

我试图理解为什么语言{0^n1^n | n >=0}不规则。

我知道 FSA 没有内存，因此无法跟踪 n 的值是多少，但是，如果机器能够为 0 生成足够的状态，为什么它不能为 1 生成足够的状态。

它只是失去了记忆n吗？

我希望有人可以向我解释这一点。

是不是0^n也很不规律？既然没有记忆n？