Este documento presenta conceptos sobre gramáticas regulares y su relación con autómatas finitos. Define una gramática regular como un cuádruplo formado por un alfabeto de variables, un alfabeto de símbolos terminales, un conjunto de reglas de producción y un símbolo inicial. Explica que un lenguaje generado por una gramática es el conjunto de palabras derivables a partir del símbolo inicial. Finalmente, establece un teorema que demuestra que para cada autómata finito existe una gramática regular que genera el mismo lenguaje, y vice