How to convert a Turing Machine program to a tiling using Wang Tiles?
(partial answer) via wikipedia, the conversion/reduction of TMs to Wang tiling was 1st proven in this paper, &amp; there are possibly later simplifications:


Berger, R. (1966). "The undecidability of the domino problem", Memoirs Amer. Math. Soc. 66 (1966). (Coins the term "Wang tiles", and demonstrates the first aperiodic set of them).