A Family of Non-Periodic Tilings of the Plane by Right Golden Triangles

We study a family of substitution tilings with similar right triangles of two sizes which is obtained using the substitution rule introduced in Danzer and van Ophuysen (Res. Bull. Panjab Univ. Sci. 50(1-4), 137-175 (2000)). In that paper, it is proved this family of tilings can be obtained from a local rule using decorated tiles. That is, that this family is sofic. In the present paper, we provide an alternative proof of this fact. We use more decorated tiles than Danzer and van Ophuysen (22 in place of 10). However, our decoration of supertiles is more intuitive and our local rule is simpler.

Automated summary

We study a family of substitution tilings with similar right triangles of two sizes, obtained using a substitution rule introduced in a previous paper. We provide an alternative proof of the fact that this family of tilings can be obtained from a local rule using decorated tiles. Our approach involves using more decorated tiles but with a more intuitive decoration of supertiles and a simpler local rule.