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 (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la
gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una
fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un número infinito de fórmulas bien formadas.