Combinatorial substitutions and sofic tilings
Abstract
A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local constraints. This extends some similar previous results (Mozes'90, Goodman-Strauss'98) in a much shorter presentation.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2010
- DOI:
- 10.48550/arXiv.1009.5167
- arXiv:
- arXiv:1009.5167
- Bibcode:
- 2010arXiv1009.5167F
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Discrete Mathematics;
- 52C23;
- 37B50;
- 05B45;
- H.1.1
- E-Print:
- 17 pages, 16 figures. In proceedings of JAC 2010