Пропущенный шаг в машине Тьюринга

Нам нужно спроектировать машину Тьюринга, которая прибавляет 1 к двоичному числу. Машина обрабатывает число справа налево, следуя этим правилам:

• Начать с крайнего правого бита.
• Если текущий бит равен 0: заменить его на 1 и остановиться.
• Если текущий бит равен 1: заменить его на 0 (так как 1 + 1 вызывает перенос) и сдвинуться влево для обработки следующего бита.
• Если машина сдвигается левее крайней левой цифры (то есть встречает пустую ячейку): записать 1, представляющую перенесённый бит, и остановиться.

Приведённая ниже диаграмма состояний описывает эти шаги, однако в ней отсутствует один критически важный переход. Определите пропущенный шаг.