下推自动机（Pushdown automaton）是使用了包含数据的栈的有限自动机。
综述.下推自动机比有限状态自动机复杂：除了有限状态组成部分外，还包括一个长度不受限制的栈；下推自动机的状态迁移不但要参考有限状态部分，也要参照栈当前的状态；状态迁移不但包括有限状态的变迁，还包括一个栈的出栈或入栈过程。下推自动机可以形象的理解为，借由加上读取一个容量无限栈的能力，扩充一个能做formula_1-转移的非确定有限状态自动机。下推自动机存在“确定”与“非确定”两种形式，两者并不等价