pushdown

English

Etymology

push +‎ down; by analogy with a spring-loaded stack of plates in a cafeteria.

Adjective

pushdown (not comparable)

  1. (computing) Describing a stack in which items are removed in a LIFO manner from the end at which they were added.

Noun

pushdown (plural pushdowns)

  1. A pushdown automaton.
    • 2003, Wilfried Brauer; Hartmut Ehrig; Juhani Karhumäki, Formal and Natural Computing: Essays:
      Since indexed grammars are context-free grammars with pushdowns, the generalization of Thatcher's result shows that they generate the yields of the tree languages recognized by deterministic pushdown tree automata.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.