Машина Тьюринга F(x) = 2x

Никогда не пробовал этим заниматься, в универе такого не проходил. Но че-т почитал, стало интересно. Попробую решить, но вы это... лучше проверяйте))
abc
0123456789A
0a>1a>2a>3a>4a>5a>6a>7a>8a>9a>Ab<
0b<2b<4b<6b<8b<0c<2c<4c<6c<8c<0b#
1b<3b<5b<7b<9b<1c<3c<5c<7c<9c<1b<
Первая строчка - алфавит состояний головки.
Вторая строчка - алфавит ленты.
А дальше табличка: 3 строчки из троек символов.
Первая строчка отвечает за состояние a
Вторая строчка отвечает за состояние b
Третья строчка отвечает за состояние c
Первая тройка в строке отвечает за символ 0
Вторая тройка в строке отвечает за символ 1
и так далее...
< - шагаем влево
| - стоим
> - шагаем вправо
# - завершаем работу
Начальное состояние ленты:
AA8275A
Головка стоит на восьмерке в состоянии A.

Ну, я мог бы помочь. Но не делать за вас. Поэтому, сперва вам придется разобраться, что такое эта машина, как работает, посмотреть пару примеров и систему команд. Определиться, с какой именно машиной работать будем, как будет представлен вход, как должен быть оформлен выход. Потом - придумать словесное описание алгоритма и закодировать его. Если где-то возникнут конкретные вопросы - спрашивайте. Задача не сильно сложная.

Несколько десятков лет назад это было.
Насколько я помню/предполагаю, здесь "по умолчанию" предлагается удвоить число, записанное в унарной системе счисления.
ДМТ, реализующая унарное умножение, есть даже в Вике. Вам ее чуток модифицировать нужно бы - на входе-то данные другие.

Ну, можете написать композицию машин - сначала к исходным правилам приписываем второй множитель, а потом умножем) Воду из чайника всяко проще выливать.