pushdowns

Noun (1)

pushdown (countable and uncountable, plural pushdowns)

1. (countable) A pushdown automaton.
   • 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.2003, Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Formal and Natural Computing: Essays
2. The relegation of the transformation or processing of data to the originating datasource.
   • filter pushdown

Noun (2)

pushdown (plural pushdowns)

1. An exercise that requires one to push weight downward.
   • Machine exercises with weight stacks, like pushdowns or pulldowns, are ideal for cranking out more than three drops because all you need to do is insert the pin in a higher (lighter) slot each time.(Can we date this quote?), Greg Merritt, “Go Beyond Failure with Dropsets”, in Muscle & Fitness

See all 5 meanings of pushdown