Wang-Kacheln (oder Wang Domino), entworfen 1961 von Hao Wang, sind Gruppen von Rechtecken gleicher Größe, deren Kanten je mit einer bestimmten Farbe markiert sind. Sie stellen ein einfaches unentscheidbares Entscheidungsproblem dar. Das folgende Bild zeigt einen Satz von 13 Wang-Kacheln: Die zu lösende Aufgabe besteht darin, zu entscheiden, ob ...