Passaggio mancante nella Macchina di Turing

Vogliamo progettare una Macchina di Turing che aggiunga 1 a un numero binario. La macchina elabora il numero da destra a sinistra, seguendo queste regole:

• Parti dal bit più a destra.
• Se il bit corrente è 0: Cambialo in 1 e arresta.
• Se il bit corrente è 1: Cambialo in 0 (perché 1 + 1 genera un riporto) e spostati a sinistra per elaborare il bit successivo.
• Se la macchina si sposta a sinistra oltre la cifra più a sinistra (cioè incontra un vuoto): Scrivi un 1 per rappresentare il riporto e arresta.

Il seguente diagramma degli stati prova a catturare questi passaggi, ma manca una transizione cruciale. Individua il passaggio mancante.