Reversal-bounded multicounter ?-machines
From MaRDI portal
Publication:3830987
DOI10.1007/BF01132080zbMath0676.03025MaRDI QIDQ3830987
Publication date: 1988
Published in: Cybernetics (Search for Journal in Brave)
algorithmic properties of \(\Sigma\)-machines; deterministic converters; reversal-bounded counter; solvability of the emptiness problem; solvable singular second-order theories
68Q45: Formal languages and automata
03B25: Decidability of theories and sets of sentences
03D10: Turing machines and related notions
Cites Work