The Transitivity Problem of Turing Machines
From MaRDI portal
Publication:2946339
DOI10.1007/978-3-662-48057-1_18zbMath1465.68072MaRDI QIDQ2946339
Nicolas Ollinger, Rodrigo Torres-Avilés, Anahí Gajardo
Publication date: 16 September 2015
Published in: Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48057-1_18
topological dynamics; symbolic dynamics; discrete dynamical systems; computability; reversible computing
37B10: Symbolic dynamics
03D10: Turing machines and related notions
68Q09: Other nonclassical models of computation
68Q04: Classical models of computation (Turing machines, etc.)