La máquina realiza su proceso por medio de un bucle, en el estado inicial formula_30, reemplaza el primer 1 con un 0, y pasa al estado formula_32, con el que avanza hacia la derecha, saltando los símbolos 1 hasta un 0 (que debe existir), cuando lo encuentra pasa al estado formula_33, con este estado avanza saltando los 1 hasta encontrar otro 0 (la primera vez no habrá ningún 1).