有限机记不住

为什么有限自动机认不了括号？因为括号可以嵌套到任意深，要记住"还欠多少个"，就得有无穷多个状态，房间不够。栈能装任意多，正好补上这个短板。