Reversal-Bounded Multicounter Machines and Their Decision Problems
Journal of the ACM (JACM)
Journal of Computer and System Sciences
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Simple deterministic languages
SWAT '66 Proceedings of the 7th Annual Symposium on Switching and Automata Theory (swat 1966)
On Stateless Multihead Finite Automata and Multihead Pushdown Automata
DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
Hierarchies and Characterizations of Stateless Multicounter Machines
COCOON '09 Proceedings of the 15th Annual International Conference on Computing and Combinatorics
On stateless multihead automata: hierarchies and the emptiness problem
LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
One-reversal counter machines and multihead automata: revisited
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Hierarchy results on stateless multicounter 5′ → 3′ Watson-Crick automata
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Hierarchies of Stateless Multicounter 5′ → 3′ Watson-Crick Automata Languages
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
DCFS'12 Proceedings of the 14th international conference on Descriptional Complexity of Formal Systems
One-reversal counter machines and multihead automata: Revisited
Theoretical Computer Science
A Survey of Results on Stateless Multicounter Automata
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Stateless multicounter 5' → 3' Watson---Crick automata: the deterministic case
Natural Computing: an international journal
Hi-index | 0.00 |
We investigate the computing power of stateless multi-counter machines with reversal-bounded counters. Such a machine has m -counters and it operates on a one-way input delimited by left and right end markers. The move of the machine depends only on the symbol under the input head and the signs of the counters (zero or positive). At each step, every counter can be incremented by 1, decremented by 1 (if it is positive), or left unchanged. An input string is accepted if, when the input head is started on the left end marker with all counters zero, the machine eventually reaches the configuration where the input head is on the right end marker with all the counters again zero. Moreover, for a specified k , no counter makes more than k -reversals (i.e., alternations between increasing mode and decreasing mode) on any computation, accepting or not. We mainly focus our attention on deterministic realtime (the input head moves right at every step) machines. We show hierarchies of computing power with respect to the number of counters and reversals. It turns out that the analysis of these machines gives rise to rather interesting combinatorial questions.