Выдержка из книги
Куприянова Л.М.
Программирование, алгоритмические языки и вычислительная математика
Рассмотрим работу машины Тьюринга на задаче прибавления единицы к числу на ленте. Входное слово состоит из цифр этого числа, записанных в последовательные ячейки ленты. В начальный момент автомат находится против самой правой цифры числа. Машина должна прибавить единицу к последней цифре, а если это была цифра 9, то заменить ее на 0 и аналогично поступить с предыдущей цифрой.