MATCHING RULES AND SUBSTITUTION TILINGS

A substitution tiling is a certain globally defined hierarchical struc ture in a geometric space; we show that for ally substitution tiling i n E-d, d > 1, subject to relatively mild conditions, one can construct local rules that force the desired global structure to emerge. As an immediate corollary, infinite collections of forced aperiodic tilings are constructed. The theorem covers all known examples of hierarchical aperiodic tilings.