A useful device for showing the solvability of some decision problems
Óscar H. Ibarra, Chul E. Kim · 1976
We look at a restricted model of a multihead pushdown automaton and use some of its properties to show the existence of algorithms for some decision problems concerning code sets and vector addition systems.