En un paso computacional, M' simula la computación de M hasta que la cabeza de M' salga del grupo de células a la izquierda o la derecha (esta simulación se puede hacer en un solo paso porque M no puede estar en más de formula_10 estados sin que salga del cacho o repita un estado).