pushdown

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

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

Adjective[edit]

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[edit]

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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=pushdown&oldid=75841191"