arXiv · 1602.06095
Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type
Abstract
In this article we study how a subshift can simulate another one, where the notion of simulation is given by operations on subshifts inspired by the dynamical systems theory (factor, projective subaction...). There exists a correspondence between the notion of simulation and the set of forbidden patterns. The main result of this paper states that any effective subshift of dimension d -- that is a subshift whose set of forbidden patterns can be generated by a Turing machine -- can be obtained by applying dynamical operations on a subshift of finite type of dimension d + 1 -- a subshift that can be defined by a finite set of forbidden patterns. This result improves Hochman's [Hoc09].
Explore related subjects
Keep this discovery
Nathalie Aubrun, Mathieu Sablik. 2016-02-19. Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type. https://doi.org/10.1007/s10440-013-9808-5
Cite the original work for its findings. Save a collection to share your selection of sources.