Los lenguajes formales son aquellos lenguajes artificiales construidos por los lógicos y los matemáticos con la intención (entre otras) de describir otros lenguajes (ya sean estos, a su vez, naturales o formales). El lenguaje considerado como objeto que se presenta a nuestra consideración es el lenguaje objeto, mientras que el lenguaje por medio del cual podemos hablar acerca del lenguaje objeto es el metalenguaje.
Un lenguaje formal está formado por un alfabeto y una gramática. El alfabeto es un conjunto de símbolos no interpretables, también llamados ‘sincategoremas’. La gramática es un conjunto de reglas que determinan qué cadenas de símbolos del alfabeto serán gramaticalmente correctas o bien formadas.
(v. fbf, formalización, lenguaje artificial, lenguaje natural, lenguaje objeto, metalenguaje, sistema formal)