Formal Languages
A formal language consists of a fixed collection of sentences (also called words or formulas, depending on the context) composed from a fixed set of letters or symbols. The inventory from which these letters are taken is called the alphabet over which the language is defined. The essential feature of a formal language is that its syntax can be defined without reference to interpretation. We can determine that (P or Q) is a well-formed formula even without knowing whether it is true or false.
To distinguish the strings of symbols that are in a formal language from arbitrary strings of symbols, the former are sometimes called well-formed formulæ (wffs).
Read more about this topic: Interpretation (logic)
Famous quotes containing the words formal and/or languages:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“The very natural tendency to use terms derived from traditional grammar like verb, noun, adjective, passive voice, in describing languages outside of Indo-European is fraught with grave possibilities of misunderstanding.”
—Benjamin Lee Whorf (1897–1934)