Помогите написать алгоритм для машины Тьюринга

Очевидно, необходимо считать введенное число. Пусть алфавит состоит из символов b и 1. Кодировать число x на ленте мы будем как x+1 последовательных единичек. Пусть головка в начале стоит на первой введённой единичке.
Уже тут возникает вопрос. Законна ли запись:
q1,1-R,q2
q2,1-R,q3
...
q(n-1),1-R,q(n)

И вообще, нужно ли то, что я расписал