Pumping and pushdown machines Kai Salomaa, D. Wood and Sheng Yu RAIRO-Theor. Inf. Appl., 28 3-4 (1994) 221-232 Published online: 03 February 2017 DOI: 10.1051/ita/1994283-402211