Debido a que se sabía que no puede existir una máquina universal de Turing de 2 estados y 2 colores, Wolfram conjeturó que la máquina de Turing universal más pequeña probablemente tendría 2 estados y 3 colores.