Abstract:We study an abstract group of reversible Turing machines. In our model, each machine is interpreted as a homeomorphism over a space which represents a tape filled with symbols and a head carrying a state. These homeomorphisms can only modify the tape at a bounded distance around the head, change the state and move the head in a bounded way. We study three natural subgroups arising in this model: the group of finite-state automata, which generalizes the topological full groups studied in topological dynamics and the theory of orbit-equivalence; the group of oblivious Turing machines whose movement is independent of tape contents, which generalizes lamplighter groups and has connections to the study of universal reversible logical gates; and the group of elementary Turing machines, which are the machines which are obtained by composing finite-state automata and oblivious Turing machines. We show that both the group of oblivious Turing machines and that of elementary Turing machines are finitely generated, while the group of finite-state automata and the group of reversible Turing machines are not. We show that the group of elementary Turing machines has undecidable torsion problem. From this, we also obtain that the group of cellular automata (more generally, the automorphism group of any uncountable one-dimensional sofic subshift) contains a finitely-generated subgroup with undecidable torsion problem. We also show that the torsion problem is undecidable for the topological full group of a full $\mathbb{Z}^d$-shift on a non-trivial alphabet if and only if $d \geq 2$.

Two heads are better than two tapes

k + 1 Heads Are Better than k

A Foundation of Programming a Multi-Tape Quantum Turing machine

On the Algebraic Representation of One-Tape Deterministic Turing Machine

Multiway Turing Machines

Design of 1-Tape 2-Symbol Reversible Turing Machines Based on Reversible Logic Elements

Revisiting the Equivalence Problem for Finite Multitape Automata

A correspondence between the time and space complexity

Unary languages recognized by two-way one-counter automata

A computing machinery using a continuous memory tape

Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines

Comparing 1D and 2D Real Time on Cellular Automata

General DNA Automaton Model with R/W Tape

Degrees of Restriction for Two-Dimensional Automata

2-State 3-Symbol Universal Turing Machines Do Not Exist

The group of reversible Turing machines: subgroups, generators and computability

Decision Problems for Restricted Variants of Two-Dimensional Automata

Undecidability in binary tag systems and the Post correspondence problem for four pairs of words

Internal Turing Machines

On Reversible Transducers

Once-Marking and Always-Marking [math]-Limited Automata