Buenas, haciendo el práctico se me surgió la duda sobre el conjunto vacío.
Entiendo que el conjunto vacío es un lenguaje regular generado por la expresión regular 
. Este lenguaje no acepta ni la tira vacía, no?
El autómata finito sería un solo estado inicial (el cual no es final)?
(si esto es cierto)
Entonces el conjunto de estados finales de un autómata finito puede ser vacío, y si es así, cualquier autómata que tenga este conjunto vacío, únicamente reconoce el lenguaje regular vacío?
Saludos,
Esteban Normey.