In aperiodic domino tiling, the substitution/inflation methods (also named cut-and-project) seem to be the most commonly used. Here first sequence of a domino tiling described by this other question. It is generated by a fractal and its grid:
... Colored steps from this generator.
Substitution rules
It is a square surface, so we need to start inflating 2 dominos (labeled or marked or colored prototiles), left and right:
Rules R1, [R1L] and [R1R]:
... and two symmetric rules for left-horizontal and right-horizontal dominoes:
Rules R2, [R2L] and [R2R]:
Using the rules to construct the tiling surface:
... Oops, the "?" shows a problem. We need more labels?
Here a a suggestion, adding labels "△" and "▽":
Are the rules correct? Where's the proof?
I don't know the correct term, "substitution/inflation rules" or "labeled rules" or "cut-and-project rules"... But the rules above are intuitive and illustrated. The problems are:
- Can I use labels (sides L/R) in the tiles?
- Are these four rules enough?
How to proof that the rules are generating the tiles?
Perhaps a modified Domino.py can generate. (the script generated this similar domino tile) - The equivalence (between the fractal's grid and the domino surface) exists for any number N>3 of steps?
The main problem, 2, is the question here.
Notes
This is the "fractal version" of the domino, but I am supposing that we not need it to solve the problem.
Illustrating the original "fractal transform", from Hilbert curve and its grid: