Restricted one-counter machines with undecidable universe problems
- 1 December 1979
- journal article
- research article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 13 (1) , 181-186
- https://doi.org/10.1007/bf01744294
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Reversal-Bounded Multicounter Machines and Their Decision ProblemsJournal of the ACM, 1978
- Computations with a restricted number of nondeterministic steps (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1977
- Deterministic one-counter automataJournal of Computer and System Sciences, 1975
- Reversal-bounded multipushdown machinesJournal of Computer and System Sciences, 1974
- The equivalence problem for deterministic finite-turn pushdown automataInformation and Control, 1974
- An Infinite Hierarchy of Context-Free LanguagesJournal of the ACM, 1969
- The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machinesJournal of the ACM, 1968
- Multitape one-way nonwriting automataJournal of Computer and System Sciences, 1968