Buenos días.
En varios ejercicios se dice que "Si un AFD es mínimo y completo entonces #clases(Rl) = #clases(Rm)" (por ejemplo en la solucion del primer parcial 2021).
Esta afirmación "de donde sale"?
Saludos gracias.
hola:
eso es parte del teorema de myhill-nerode, que básicamente termina probando la existencia y unicidad de un AFD mínimo para todo lenguaje regular. lo encontrás en la clase de minimización.
saludos,
d.-
eso es parte del teorema de myhill-nerode, que básicamente termina probando la existencia y unicidad de un AFD mínimo para todo lenguaje regular. lo encontrás en la clase de minimización.
saludos,
d.-