A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Nejmenší možný univerzální počítač (2-stavový, 3-symbolový Turingův stroj). Objeven v roce 2007. 71 let po Turingově článku z roku 1936.