Acrónimo de ‘fórmula bien formada’. Es una cadena de símbolos del alfabeto del lenguaje formal que forma la gramática del lenguaje formal, y que cumple con los requisitos que establece dicha gramática como adecuados para las fórmulas bien formadas.
(v. fórmula, lenguaje formal)
