**Wang tiles** (or **Wang dominoes**), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, are a class of formal systems. They are modelled visually by 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 color; the tiles cannot be rotated or reflected. The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether copies of the tiles can be arranged to fill an infinite plane, following the adjacency rules.

## Media in category "Wang tiles"

The following 4 files are in this category, out of 4 total.