En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos primitivos se le llama el alfabeto del lenguaje, y al conjunto de las reglas se le llama la gramática formal (o sintaxis). Más detalles en Wikipedia
Ejemplo de Lenguajes Formales en Computación: El conjunto de todos los programas sintácticamente válidos en un lenguaje de programación,
