hola:
como decía en el mensaje anterior, las soluciones no son únicas y, como en la programación, cada uno tiene su forma de resolver los problemas; controlar antes o después, o marcar con distintas letras, a veces simplifica la solución, otras veces no, y muchas veces la elección de una u otra forma es una cuestión de estilo (o de costumbre).
en cualquiera de los casos, lo importante es que la máquina funcione bien: todas las tiras y nada más que las tiras del lenguaje deben ser reconocidas por tu autómata. si es así, no importa cuándo se hace el control.
saludos,
d.-