A Physically Universal Turing Machine
Dynamical Systems
2020-03-24 v1 Formal Languages and Automata Theory
Abstract
We construct a two-dimensional Turing machine that is physically universal in both the moving tape and moving head model. In particular, it is mixing of all finite orders in both models. We also provide a variant that is physically universal in the moving tape model, but not in the moving head model.
Cite
@article{arxiv.2003.10328,
title = {A Physically Universal Turing Machine},
author = {Ville Salo and Ilkka Törmä},
journal= {arXiv preprint arXiv:2003.10328},
year = {2020}
}
Comments
45 pages plus 6 pages of appendices, 17 figures