Машина Тьюринга

[Sverest]

Какую функцию натурального аргумента вычисляет машина, заданная программой:

$0q_1 \to 0q_2 R,1q_1 \to1q_0$

$0q_2 \to 1q_0 ,1q_2 \to 1q_2R$

$R$ это $Right$(Направо)

Я так понял если головка над единицей справа, то машина рисует единицу и останавливается,
а если над нулем она пишет ноль, переходит в состояние $q_2$ и если видит единицу то проходит через всё число никак не меняя ее, что это за функция? Если $y=x$, то при чем здесь проверка на ноль в начале