Este documento presenta conceptos clave sobre estructuras discretas y grafos. Define lenguaje formal, autómata y gramática formal. Explica que un lenguaje formal puede representarse a través de conjuntos, secuencias o sentencias utilizando símbolos de un alfabeto. Describe los autómatas como máquinas que imitan movimientos basados en lectura de símbolos de entrada y transiciones de estado. Finalmente, introduce las gramáticas formales como una estructura compuesta por alfabetos, axioma, reglas de producción para definir len