2000 character limit reached
Effective closed subshifts in 1D can be implemented in 2D (1003.3103v1)
Published 16 Mar 2010 in cs.LO, cs.DM, math.CO, and math.DS
Abstract: 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.