在计算机科学中，下推自动机是一种理论模型，主要用于处理上下文无关语言，常见于编译器设计和形式语言理论研究。它是图灵机的变种，具有额外的存储空间，称为堆栈。在计算机科学领域，下推自动机对于理解和设计有效的编程语言编译器具有重要的作用。