下推自动机可以形象的理解为，把有限状态自动机扩展使之可以存取一个栈。而有限状态自动机是具有离散输入和输出的系统的一种数学模型。其主要特点有以下几个方面：(1)系统具有有限个状态，不同的状态代表不同的意义。按照实际的需要，系统可以在不同的状态下完成规定的任务。(2)我们可以将输入字符串中出现的字符汇集在一起构成一个字母表。系统处理的所有字符串都是这个字母表上的字符串。(3)系统在任何一个状态下，从输入字符串中读入一个字符，根据当前状态和读入的这个字符转到新的状态。(4)系统中有一个状态，它是系统的开始状态。(5)系统中还有一些状态表示它到目前为止所读入的字符构成的字符串是语言的一个句子。你也可以简单地认为，所谓的有限状态自动机，就是通过特定的输入，然后自动机就有一个特定的状态，最后根据这个状态输出结果。那么下推自动机你也可以认为是具有内部保存功能的有限状态自动机。他的模型就像是现在的IO-内存-CPU之间的关系。由于具有比较多的入栈出栈之类的内存操作，我建议使用VC++来做。