text: Из неразрешимости проблемы замощения следовала неразрешимость проблемы остановки для машин Тьюринга, в 1991 году 80-летний Робинсон опубликовал «Малая универсальная машина Тьюринга по Минскому», в которой описал универсальную машину Тьюринга, в программе которой было всего 4 символа и 7 состояний.