A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA O menor computador universal possível (máquina de Turing de 2 estados e 3 símbolos). Descoberto em 2007. 71 anos após o artigo de Turing de 1936.