To illustrate my question I provide the following example. The website Online Turing Machine provides a Turing Machine simulator. The following program adds 1 to any binary number. q0,1 q0,1,> ...
Wang tiles are (by Wikipedia): "equal-sized squares with a color on each edge which can be arranged side by side (on a regular square grid) so that abutting edges of adjacent tiles have the same ...