Counter machines

DOI10.1016/S0020-0190(99)00116-7zbMATH Open0999.68066OpenAlexW2914652008MaRDI QIDQ1606993FDOQ1606993

Authors: Arkadiusz Wojna 

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(99)00116-7

Recommendations

• On two-way weak counter machines
• Remarks on two-way automata with weak-counters
• An Optimal Simulation of Counter Machines
• Simulations by time-bounded counter machines
• Universality of a reversible two-counter machine

zbMATH Keywords

Turing machinecomputational power of counters

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Small universal register machines
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Counter machines and counter languages
• Turing machines with restricted memory access
• Computability of Recursive Functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Translatability of schemas over restricted interpretations
• Some open questions in the theory of program schemes and dynamic logics
• Title not available (Why is that?)
• Varianten von Turingmaschinen

Cited In (15)

• Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
• Counter machines and crystallographic structures
• Computations on register machines with counters
• Very Simple Chaitin Machines for Concrete AIT
• On two-way weak counter machines
• Simulations by Time-Bounded Counter Machines
• Counter machines and distributed automata -- a story about exchanging space and time
• Small universal reversible counter machines
• Simulations by time-bounded counter machines
• Computations on counter machines with summator
• An Optimal Simulation of Counter Machines
• First order Büchi automata and their application to verification of LTL specifications
• Remarks on two-way automata with weak-counters
• Machines
• Register machines with counters

This page was built for publication: Counter machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606993)