On topological dynamics of Turing machines

We associate to a Turing machine two dynamical systems which we call Turing machine with moving tape (TMT) and Turing machine with moving head (TMH). TMT are equivalent to generalized shifts of Moore (1990) and they include two-sided full shifts. TMH are shift-commuting maps of two-sided sofic syste...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 1997-03, Vol.174 (1), p.203-216
Main Author: Kurka, Petr
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We associate to a Turing machine two dynamical systems which we call Turing machine with moving tape (TMT) and Turing machine with moving head (TMH). TMT are equivalent to generalized shifts of Moore (1990) and they include two-sided full shifts. TMH are shift-commuting maps of two-sided sofic systems. In both classes we characterize systems with the shadowing property, show that a bijective expansive TMT is conjugate to a subshift of finite type and that topological entropy of every TMH is zero. We conjecture that every TMT has a periodic point.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(96)00025-4