Digging input-driven pushdown automata Martin Kutrib and Andreas Malcher RAIRO-Theor. Inf. Appl., 55 (2021) 6 Published online: 22 July 2021 DOI: 10.1051/ita/2021006