Formation Rule

Formation Rule

In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar).

Read more about Formation Rule:  Formal Language, Formal Systems, Propositional and Predicate Logic

Famous quotes containing the words formation and/or rule:

    The moral virtues, then, are produced in us neither by nature nor against nature. Nature, indeed, prepares in us the ground for their reception, but their complete formation is the product of habit.
    Aristotle (384–322 B.C.)

    This at least should be a rule through the letter-writing world: that no angry letter be posted till four-and-twenty hours will have elapsed since it was written.
    Anthony Trollope (1815–1882)