PUSHDOWN

释义 Definition

pushdown（多作名词或形容词）在计算机科学中通常指“下推”概念，最常见于 pushdown automaton（下推自动机）：一种带有栈（stack）作为额外存储的抽象计算模型，常用于描述与分析上下文无关语言（如括号匹配、简单表达式语法等）。

发音 Pronunciation (IPA)

/ˈpʊʃˌdaʊn/

例句 Examples

The pushdown automaton uses a stack to match parentheses.
下推自动机使用栈来匹配括号。

In formal language theory, pushdown mechanisms can recognize many patterns that finite automata cannot handle.
在形式语言理论中，下推机制能够识别许多有限自动机无法处理的模式。

词源 Etymology

pushdown 是由动词短语 push down（向下推、压下去） 组合而成。在计算理论里，它借用了“把符号压入栈（push）/从栈顶操作”的形象比喻：信息被“压”进一个后进先出（LIFO）的结构中，从而让机器具备比有限自动机更强的记忆能力。

相关词 Related Words

• Automaton
• Stack
• Grammar
• Parsing
• Context-Free
• Finite
• Recognizer
• Compiler

文学与著作中的用例 Literary Works

• Introduction to Automata Theory, Languages, and Computation（Hopcroft, Motwani, Ullman）
• Introduction to the Theory of Computation（Michael Sipser）
• Compilers: Principles, Techniques, and Tools（Aho, Lam, Sethi, Ullman，“龙书”）