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)
