well-formed formula

well-formed formula
A statement that is expressed in a valid, syntactically correct, manner.

This program works correctly on all well-formed formulas but it blows up on illegal input.


Wikipedia foundation.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Well-formed formula — In mathematical logic, a well formed formula (often abbreviated WFF, pronounced wiff or wuff ) is a symbol or string of symbols (a formula) that is generated by the formal grammar of a formal language. To say that a string S is a WFF with respect …   Wikipedia

  • well-formed formula — At its most general a formula may be thought of in logical theory as any string of symbols from the lexicon of the theory. A well formed formula (abbreviated as wff) is one that obeys the formation rules of the system. Since other strings are… …   Philosophy dictionary

  • well-formed — formula …   Philosophy dictionary

  • well-formed formulae — well formed formula …   Philosophy dictionary

  • Well-formed — may refer to:* Well formed element, an element in webpage design * Well formed formula, a string that is generated by a formal grammar in logic * Well formed outcome, a Neuro Linguistic Programming conceptee also* Well formedness …   Wikipedia

  • Formula (mathematical logic) — In mathematical logic, a formula is a type of abstract object a token of which is a symbol or string of symbols which may be interpreted as any meaningful unit (i.e. a name, an adjective, a proposition, a phrase, a string of names, a string of… …   Wikipedia

  • Formula SAE — is a student design competition organized by the Society of Automotive Engineers. The competition was started back in 1978 and was originally called [http://www.sae.org/students/fsaehistory.pdf SAE Mini Indy] .The concept behind Formula SAE is… …   Wikipedia

  • Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… …   Wikipedia

  • Formula One — F1 redirects here. For other uses, see F1 (disambiguation). For other uses, see Formula One (disambiguation). Formula One Category Single seater Country or region Worldwide …   Wikipedia

  • Formula SimRacing — Infobox motorsport championship logo = pixels = 200px caption = The official Formula SimRacing logo, created for International SimRacing Club. category = Computer sim racing single seaters country/region = International inaugural2 = 2001 drivers …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”