A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Il computer universale più piccolo possibile (macchina di Turing a 2 stati e 3 simboli). Scoperto nel 2007. 71 anni dopo il saggio di Turing del 1936.