Bước bị thiếu trong Máy Turing

Chúng ta muốn thiết kế một Máy Turing để cộng 1 vào một số nhị phân. Máy xử lý số từ phải sang trái, theo các quy tắc sau:

• Bắt đầu tại bit ngoài cùng bên phải.
• Nếu bit hiện tại là 0: Đổi thành 1 và dừng.
• Nếu bit hiện tại là 1: Đổi thành 0 (vì 1 + 1 tạo ra nhớ) và di chuyển sang trái để xử lý bit tiếp theo.
• Nếu máy di chuyển sang trái vượt quá chữ số ngoài cùng bên trái (tức là gặp ô trống): Ghi một 1 để biểu diễn bit nhớ và dừng.

Sơ đồ trạng thái sau đây cố gắng mô tả các bước này nhưng thiếu một chuyển tiếp quan trọng. Hãy xác định bước bị thiếu.