[2021] [Primer Parcial] [Ejercicio 2]

[2021] [Primer Parcial] [Ejercicio 2]

de Edison Steven Estramil Moreira -
Número de respuestas: 1

Buenas, 

Viendo el ejercicio 1 me entró la duda de que pasaba cuando queres hacer el pasaje de afnd-epsilon a afnd y sucede que tenes una transición de epsilon a un estado final, en el ejercicio pasa que desde el estado inicial q0 que no es final tiene una transición epsilon a uno final, por lo tanto en el pasaje a afnd  q0 se vuelve final, mi pregunta sería, en caso de que tenga un estado que no es inicial qi y hay una transición desde qi a un final, qi perteneceria a los finales en el pasaje a afnd?

Saludos.


En respuesta a Edison Steven Estramil Moreira

Re: [2021] [Primer Parcial] [Ejercicio 2]

de Diego Garat -
hola:

no, ningún qi puede pasar de no final a ser final, salvo q0. el algoritmo de pasaje da como salida el mismo conjunto de estados finales más, bajo ciertas condiciones, q0.

para tu qi lo que sucede es que, al recalcular la función delta con las éps-clausuras, ya se agregan transiciones directas al estado final desde los estados que llegaban a qi... sin embargo, esto no es posible para q0 en el arranque y se perdería a la tira vacía, y es por esto que se lo agrega al conjunto de finales.

saludos,
d.-