下推自动机

有限状态机加一个栈。栈提供了无限的记忆，就能处理嵌套。