The group of reversible Turing machines

Sebastián Barbieri, Jarkko Kari, Ville Salo

We consider Turing machines as actions over configurations in ${\Sigma }^{{\mathbb{Z}}^d}$ which only change them locally around a marked position that can move and carry a particular state.…