Неформальным обоснованием тезиса Чёрча-Тьюринга является описание простых и однозначно понимаемых инструкций для машиты Тьюринга \(алгоритма работы\). Расположите в правильном порядке такты работы машины Тьюринга.

• Найти в таблице переходов строчку, которая начинается с текущего символа и текущего состояния.
• Если требуемой строчки не нашлось, закончить работу и выделить из конфигурации результат.
• В противном случае заменить текущий символ на тот, который указан в найденной строчке.
• Изменить состояние на указанное в найденной строчке.
• Переместить головку влево, переместить головку вправо или оставить головку на месте в зависимости от указанной в найденной строчке команды движения.