Reversal-bounded multicounter ?-machines

DOI10.1007/BF01132080zbMath0676.03025MaRDI QIDQ3830987

L. P. Lisovik

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

algorithmic properties of \(\Sigma\)-machinesdeterministic convertersreversal-bounded countersolvability of the emptiness problemsolvable singular second-order theories

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Turing machines and related notions (03D10)

Cites Work

• Construction of decidable singular theories of two successor functions with an extra predicate
• Reversal-Bounded Multicounter Machines and Their Decision Problems

This page was built for publication: Reversal-bounded multicounter ?-machines