1 paper · 1 filter
Nikolay Vereshchagin
The Goodman-Strauss theorem states that for ``almost every" substitution, the family of substitution tilings is sofic, that is, it can be defined by local rules for some decoration…