Pas lipsă în Mașina Turing

Dorim să proiectăm o Mașină Turing care adaugă 1 la un număr binar. Mașina procesează numărul de la dreapta la stânga, urmând aceste reguli:

• Pornește de la bitul cel mai din dreapta.
• Dacă bitul curent este 0: schimbă-l în 1 și oprește-te.
• Dacă bitul curent este 1: schimbă-l în 0 (deoarece 1 + 1 generează un transport) și deplasează-te la stânga pentru a procesa bitul următor.
• Dacă mașina se deplasează la stânga dincolo de cifra cea mai din stânga (adică întâlnește o celulă goală): scrie un 1 pentru a reprezenta bitul transportat și oprește-te.

Diagrama de stări de mai jos încearcă să surprindă acești pași, dar îi lipsește o tranziție esențială. Identifică pasul lipsă.