Parametrization by Horizontal Constraints in the Study of Algorithmic Properties of ${\mathbb{Z}}^2$-Subshift of Finite Type

Solène J. Esnay, Mathieu Sablik

The non-emptiness, called the Domino Problem, and the characterization of the possible entropies of ${\mathbb{Z}}^2$-subshifts of finite type are standard problems of symbolic dynami…