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 fbf (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es id茅ntico al conjunto de todas sus fbf. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fbf (que debe tener una longitud tambi茅n finita), un lenguaje formal puede estar compuesto por un n煤mero infinito de fbf. (Wikipedia)
En este blog, en ocasiones, se indicar谩 como L.