A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Minsta möjliga universella dator (Turingmaskin med 2 lägen och 3 symboler). Upptäcktes 2007. 71 år efter Turings artikel från 1936.