A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA 最小的通用計算機（2狀態，3符號圖靈機）。 於2007年發現。比圖靈1936年的論文晚71年。