A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA 最小的通用计算机（2状态，3符号图灵机）。 于2007年发现。比图灵1936年的论文晚71年。