A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Ordinateur universel le plus petit possible (machine de Turing à 2 états et 3 symboles). Découvert en 2007. 71 ans après l'article de Turing de 1936.