Relación entre Autómatas Finitos y Lenguajes Regulares

Demostraremos que las siguientes declaraciones son equivalentes:

1. El lenguaje regular $L$ es reconocido por algún Aceptor de Estado Finito.
2. $L$ es generado por alguna Gramática Regular.
3. $L$ es descrito por alguna expresión regular.