A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA La computadora universal más pequeña posible (máquina de Turing de 2 estados y 3 símbolos). Descubierta en 2007. 71 años después del artículo de Turing de 1936.