A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Kleinste mogelijke universele computer (2-toestand, 3-symbool Turingmachine). Ontdekt in 2007. 71 jaar na Turing's paper uit 1936.