A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Minste mulige universelle datamaskin (2-stats, 3-symbol Turing-maskin). Oppdaget i 2007. 71 år etter Turings artikkel fra 1936.