On bounded languages and reversal-bounded automata
nondeterministic pushdown automaton (NPDA)
scientific article; zbMATH DE number 6524288