New decidability results concerning two-way counter machines and applications
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 313-324
- https://doi.org/10.1007/3-540-56939-1_82
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On two-way weak counter machinesTheory of Computing Systems, 1987
- Two-Way Counter Machines and Diophantine EquationsJournal of the ACM, 1982
- Reversal complexity of counter machinesPublished by Association for Computing Machinery (ACM) ,1981
- Halting space-bounded computationsTheoretical Computer Science, 1980
- Simple counter machines and number-theoretic problemsJournal of Computer and System Sciences, 1979
- Reversal-Bounded Multicounter Machines and Their Decision ProblemsJournal of the ACM, 1978
- Deterministic one-counter automataJournal of Computer and System Sciences, 1975
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961