下推自动机 正则语言 泵引理

下推自动机动画演示：

L = {0^n1^n| n ≥ 1}

https://www.youtube.com/watch?v=Iz9x2UOt0xQ

自动机原理，体验印度英语：

https://www.youtube.com/playlist?list=PLEbnTDJUr_IdM___FmDFBJBz0zCsOFxfK

其中41-45 DFA最小化。

待补充...