Но лучше "переведите" что-нибудь менее тривиальное. Например,

(

- пустой),

(

- начальное,

- терминальное),

.
Попробую :) Насколько я понимаю, начальная конфигурация не определена, поэтому результат работы этой МТ будет зависеть от того, что написано на ленте изначально.
1. Управляющее устройство в состоянии

и головка обозревает

. В обозреваемую ячейку будет записана "1" и МТ остановится.
2. Управляющее устройство находится в состоянии

и головка обозревает "1". В обозреваемую ячейку

будет записан символ "1" и головка будет сдвинута вправо (упр. устройство перейдёт в состояние

). Если в следующей ячейке

будет записан пустой символ

, то МТ остановит работу, записав

в ячейку

. Если же в ячейке

будет символ "1", то его заменят на

, управляющее устройство сдвинет головку вправо и перейдет в состояние

. Ну, а дальше, в зависимости от того, что написано в ячейке

, МТ перейдет либо к пункту 1, либо к пункту 2.
Вроде так или не совсем так?
-- Ср авг 21, 2013 01:02:14 --Я понял ваш способ записи, но обязательно определять правила для всех состояний. И все-таки проще понять запись в форме таблицы.
Да, я сейчас как раз пытаюсь разобрать табличную запись :) Просто мне для начала хочется понять основы команд МТ, а для этого приходится задействовать такой словесный "перевод для начинающих".