Étape manquante dans la machine de Turing

Nous voulons concevoir une machine de Turing qui ajoute 1 à un nombre binaire. La machine traite le nombre de droite à gauche, selon ces règles :

• Commencer au bit le plus à droite.
• Si le bit courant est 0 : le changer à 1 et s'arrêter.
• Si le bit courant est 1 : le changer à 0 (car 1 + 1 entraîne une retenue) et se déplacer vers la gauche pour traiter le bit suivant.
• Si la machine se déplace à gauche au-delà du chiffre le plus à gauche (c.-à-d. rencontre une case vide) : écrire un 1 pour représenter la retenue et s'arrêter.

Le diagramme d'états suivant tente de représenter ces étapes, mais il manque une transition essentielle. Identifiez l'étape manquante.