Машина Тьюринга. Уменьшение двоичного числа на единицу

Построить машину Тьюринга, уменьшающую двоичные числа на единицу.

Если я правильно понял, в качестве алфавита тут будет: A={0,1,*}

Полагаю, нужно использовать звёздочку для того, чтобы определить конец слова.

Если в конце встречается 1*, звёздочка заменяется на пустой символ, а 1 - на 0.

Если же ноль, нужно двигаться влево и уменьшать имеющееся там число на 1.

Вот, как это реализовать на языке программы?

Добавлено через 19 минут

На языке программирования...

Ага..

Как это корректно записать в реалиях машины Тьюринга*.

Допустил оплошность в описании.