A physically universal Turing machine

Salo Ville; Törmä Ilkka
A physically universal Turing machine

Salo Ville
Törmä Ilkka
Katso/Avaa
Lataukset: 

Academic Press
doi:10.1016/j.jcss.2022.08.003
URI
https://doi.org/10.1016/j.jcss.2022.08.003
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on:
https://urn.fi/URN:NBN:fi-fe2023022528654
Tiivistelmä

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.

Kokoelmat