well-formed formula


Also found in: Dictionary, Acronyms, Wikipedia.

well-formed formula

[′wel ¦fȯrmd ‚for·myə·lə]
(mathematics)
A finite sequence or string of symbols that is grammatically or syntactically correct for a given set of grammatical or syntactical rules.
Mentioned in ?