Matching Rules for Substitution and Hierarchical Tilings for any Substitution with Finite Local Complexity

Nikolay Vereshchagin

The Goodman-Strauss theorem states that for ``almost every'' substitution $\tau$, the family of substitution tilings is sofic, that is, it can be defined by local matching rules for s…