Estructuras Formales
En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita en los casos más simples o expresiones válidas (formuladas por palabras) formadas a partir de un alfabeto (conjunto de caracteres) finito. El nombre lenguaje se justifica porque las estructuras que con este se forman tienen reglas de buena formación (gramática) e interpretación semántica (significado) en una forma muy similar a los lenguajes hablados o naturales.
En Este Texto se estudian las mas importantes estructuras minimas de todo compilador: Lenguaje Formal y las Gramaticas. Para llegar a este concepto es necesario definir antes otras nociones más elementales.
