Consultas de Teórico

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.-