Étape manquante dans une machine de Turing

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

• Commencer au bit le plus à droite.
• Si le bit courant est 0 : le changer en 1 et s’arrêter.
• Si le bit courant est 1 : le changer en 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’est‑à‑dire rencontre une case vide) : écrire un 1 pour représenter la retenue et s’arrêter.

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