Expresión Regular con Kleen y con Clases de Equiv

Re: Expresión Regular con Kleen y con Clases de Equiv

de Diego Garat -
Número de respuestas: 0
hola:

sí, son equivalentes. lo que describiste son dos formas de calcular una ER que denota al lenguaje que reconoce un AF... ahora bien, las ER obtenidas por uno y otro método no tienen que ser iguales sintácticamente, pero sí son equivalentes (denotan al mismo conjunto de tiras).

por las dudas aclaro que, "hallar las expresiones regulares de sus estados y hacer el pipe de las expresiones regulares que definen sus estados finales." es válido para todo autómata, no solo para el mínimo. ustedes pueden calcular RM de un AFD que no sea mínimo y obtener así la ER que denota al lenguaje.

el lenguaje reconocido por un autómata es único... la minimización genera una automáta mínimo equivalente, con lo que, al final del día, siempre estamos hablando del mismo lenguaje. hacer cualquiera de los cálculos sobre uno u otro autómata debería darles una ER equivalente.

saludos,
d.-