Langkah yang hilang pada Turing Machine

Kita ingin merancang Turing Machine yang menambahkan 1 ke sebuah bilangan biner. Mesin memproses bilangan tersebut dari kanan ke kiri, mengikuti aturan berikut:

• Mulai pada bit paling kanan.
• Jika bit saat ini adalah 0: Balik menjadi 1 lalu berhenti.
• Jika bit saat ini adalah 1: Balik menjadi 0 (karena 1 + 1 menghasilkan carry) dan bergerak ke kiri untuk memproses bit berikutnya.
• Jika mesin bergerak ke kiri melewati digit paling kiri (yaitu menemui sel kosong): Tulis 1 untuk merepresentasikan carry dan berhenti.

Diagram keadaan berikut mencoba menangkap langkah-langkah ini tetapi kehilangan satu transisi penting. Identifikasi langkah yang hilang tersebut.