Computations on register machines with counters

DOI10.1515/dma-2018-0010zbMath1390.68417OpenAlexW2970550214MaRDI QIDQ1744355

Igor V. Savitskiy

Publication date: 23 April 2018

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2018-0010

zbMATH Keywords

register machines with counters

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Arithmetization of register machines with counters, Eliminating inequalities in register machines with counters

Cites Work

• Unnamed Item
• An iterative description of the class \(\mathcal E^1\) of Grzegorczyk's hierarchy
• A machine description and the hierarchy of initial Grzegorczyk classes
• Remarks on the complexity of nondeterministic counter languages
• Reversal-Bounded Multicounter Machines and Their Decision Problems
• Counter machines and counter languages