Counter machines

DOI10.1016/S0020-0190(99)00116-7MaRDI QIDQ1606993zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Turing machinecomputational power of counters

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3727583 (Why is no real title available?)
• scientific article; zbMATH DE number 3558923 (Why is no real title available?)
• scientific article; zbMATH DE number 3576680 (Why is no real title available?)
• scientific article; zbMATH DE number 3622921 (Why is no real title available?)
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• scientific article; zbMATH DE number 3349780 (Why is no real title available?)
• Computability of Recursive Functions
• Counter machines and counter languages
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Small universal register machines
• Some open questions in the theory of program schemes and dynamic logics
• Translatability of schemas over restricted interpretations
• Turing machines with restricted memory access
• 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
• On two-way weak counter machines
• Very Simple Chaitin Machines for Concrete AIT
• Counter machines and distributed automata -- a story about exchanging space and time
• Simulations by Time-Bounded Counter Machines
• 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)