Azulejos Wang

Azulejos Wang (o Dominó Wang), primero propuestos por el matemático, lógico, y filósofo en 1961, es una clase de sistemas formales. Son modelados visualmente por azulejos cuadrados con un color en cada lado. Un conjunto de tales azulejos está seleccionado, y las copias de los azulejos son puesto lado a lado con colores iguales, sin rotarlos ni reflejándolos. La cuestión básica sobre un conjunto de Wang los azulejos es si puede enladrillar el plano o no, por ejemplo, si un plano infinito entero puede ser llenado de este modo. La siguiente pregunta es si esto puede ser hecho en un patrón periódico.