A0→1RB A1→2LB A2→1LA B0→2LA B1→2RB B2→0RA Наименьший возможный универсальный компьютер (машина Тьюринга с 2 состояниями и 3 символами). Обнаружен в 2007 году. 71 год спустя после статьи Тьюринга 1936 года.