a manoeuvre in which an aircraft first loses altitude, then regains it
adjective
3. computing
of or relating to a pushdown list
4.
able to be pushed down
Examples of 'pushdown' in a sentence
pushdown
We relate oscillation on pushdown automata with a counterpart restriction on context-free grammars.
Pierre Ganty, Damir Valput 2016, 'Bounded-oscillation Pushdown Automata', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1609.04096v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Timed pushdown automata are pushdown automata extended with a finite set of real-valued clocks.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman 2014, 'Zenoness for Timed Pushdown Automata', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1402.6784v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
In particular, we establish an equivalence between pushdown parity games and a finite-duration variant.
Wladimir Fridman, Martin Zimmermann 2012, 'Playing Pushdown Parity Games in a Hurry', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1210.2458v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
We present a survey of the saturation method for model-checking pushdown systems.
Arnaud Carayol, Matthew Hague 2014, 'Saturation algorithms for model-checking pushdown systems', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1405.5593v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
We study languages accepted by pushdown automata restricted to k-oscillating runs.
Pierre Ganty, Damir Valput 2016, 'Bounded-oscillation Pushdown Automata', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1609.04096v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Therefore, dense-timed pushdown automata subsume both pushdown automata and timedautomata.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman 2014, 'Zenoness for Timed Pushdown Automata', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1402.6784v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
We propose a new extension of higher-order pushdown automata, which allows to use an infinite alphabet.
Paweł Parys 2012, 'Higher-Order Pushdown Systems with Data', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1210.2460v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
It was shown that winning strategies for pushdown games can be implemented again as pushdown automata.
Wladimir Fridman 2010, 'Formats of Winning Strategies for Six Types of Pushdown Games', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1006.1415v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems.
Christophe Morvan, Nathalie Bertrand 2010, 'Probabilistic regular graphs', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1011.0222v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)