下推自动机

（科学名词|计算机概念）

下推自动机﹙PDA﹚是自动机理论中定义的一种抽象的计算模型。下推自动机比有限状态自动机复杂:除了有限状态组成部分外，还包括一个长度不受限制的栈;下推自动机的状态迁移不但要参考有限状态部分，也要参照栈当前的状态;状态迁移不但包括有限状态的变迁，还包括一个栈的出栈或入栈过程。PDA的动作由三个因素决定:（1）当前所处状态；