Parciales

Buen día Joel,

me meto en el hilo de atrevido porque cuando comentaron esto yo no siquiera había cursado TeoLeng xD

Respuesta corta: Con esa transición no perdés nada, es verdad, pero tampoco ganás nada.

Respuesta larga: Como la letra ya te dice que $#$ no es una tira válida, no tiene mucho sentido que hagas un camino del autómata para ella. Los autómatas con salida suelen tener que dar una salida para toda entrada válida, sin preocuparse de qué pasa para las no válidas.

Si fuéramos a poner caminos de ejecución para todas las tiras inválidas terminaríamos teniendo muchas transiciones de "leo un símbolo y produzco $\epsilon$". Adicionalmente también tendríamos que tener un estado pozo como solemos hacer para los autómata finitos de reconocimiento de tiras, como los deterministas. Volviendo al ejercicio, bajo ese supuesto, en la solución $q_3$ debería tener una transición para cada letra del alfabeto donde imprima $\epsilon$, para contemplar a todas las tiras inválidas que llegan a ese estado (inválidas porque luego del $#$ no puede venir nada según el lenguaje). Pero la verdad es que esto no te agrega nada nada nada al autómata con salida.

En definitiva, lo que viene significando $#$ es "antes de mí vino una serie de al menos 1 símbolo y luego de mí no viene nada". Si no se cumplen esas dos condiciones a la vez, entonces la tira es inválida. Y si no es válida, no le damos bola. Solo le prestamos atención a las tiras válidas.

Mañana en el parcial pregunten todas estas dudas de letra que tengan.

Cualquier cosa la seguimos,
Santi