En un sistema formal, una fórmula bien formada es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.