Wang tile
（重定向自Domino Problem）
![This set of 13 Wang tiles will tile the plane but only aperiodically.](/Images/godic/202501/09/Wang_tiles.svg4523.png")
![Example of Wang tessellation with 13 tiles.](/Images/godic/202501/09/Wang_tesselation.svg4524.png")
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 square tiles with a color on each side. A set of such tiles is selected (for example the set in the picture). Then copies of the tiles are arranged side by side with matching colors, but without rotating or reflecting the tiles.