A useful device for showing the solvability of some decision problems
作者：
Highlights：
•
摘要
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.
论文关键词：
论文评审过程：Received 8 August 1975, Revised 19 February 1976, Available online 27 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(76)80026-8
