hola:
las máquinas secuenciales en su origen manejan la entrada como un "stream", no hay final de tira, sino que quedan procesando y emitiendo al infinito. por eso mismo, muchas veces no importa cómo se procesan los primeros símbolos, sino que la máquina funcione bien cuando queda en régimen.
dicho lo anterior, en ese ejercicio sí hay un símbolo de fin de entrada, con lo cual, efectivamente, uno esperaría que no haya más procesamiento luego de leer el numeral: luego de leerlo se debería ir a un estado sin transiciones de salida.
saludos,
d.-