Effective closed subshifts in 1D can be implemented in 2D
Durand, Bruno, Andrei Romashchenko, Alexander Shen · arXiv (Cornell University) · 2010
In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point construction of an aperiodic tile set and its extensions.