Formation rule

In mathematical logic, formation rules are rules for describing well-formed words over the alphabet of a formal 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).