A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA 可能な限り最小のユニバーサルコンピュータ(2状態、3記号チューリングマシン)。 2007年に発見されました。チューリングの1936年の論文から71年後。