A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Cel mai mic computer universal posibil (mașină Turing cu 2 stări, 3 simboluri). Descoperit în 2007. 71 de ani după lucrarea lui Turing din 1936.