A formal language L over an alphabet Σ is a subset of Σ*, that is, a set of words over that alphabet.
In computer science and mathematics, which do not usually deal with natural languages, the adjective "formal" is often omitted as redundant.
While formal language theory usually concerns itself with formal languages that are described by some syntactical rules, the actual definition of the concept "formal language" is only as above: a (possibly infinite) set of finite-length strings, no more nor less. In practice, there are many languages that can be described by rules, such as regular languages or context-free languages. The notion of a formal grammar may be closer to the intuitive concept of a "language," one described by syntactic rules. By an abuse of the definition, a particular formal language is often thought of as being equipped with a formal grammar that describes it.
Read more about Formal Language: Examples, Language-specification Formalisms, Operations On Languages
Famous quotes containing the words formal and/or language:
“The spiritual kinship between Lincoln and Whitman was founded upon their Americanism, their essential Westernism. Whitman had grown up without much formal education; Lincoln had scarcely any education. One had become the notable poet of the day; one the orator of the Gettsyburg Address. It was inevitable that Whitman as a poet should turn with a feeling of kinship to Lincoln, and even without any association or contact feel that Lincoln was his.”
—Edgar Lee Masters (1869–1950)
“Both the Moral Majority, who are recycling medieval language to explain AIDS, and those ultra-leftists who attribute AIDS to some sort of conspiracy, have a clearly political analysis of the epidemic. But even if one attributes its cause to a microorganism rather than the wrath of God, or the workings of the CIA, it is clear that the way in which AIDS has been perceived, conceptualized, imagined, researched and financed makes this the most political of diseases.”
—Dennis Altman (b. 1943)