A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Máy tính phổ quát nhỏ nhất có thể (máy Turing 2 trạng thái, 3 ký hiệu). Được phát hiện vào năm 2007. 71 năm sau bài báo của Turing năm 1936.