Noun
formation rule (plural formation rules) (logic) Any of a set of rules used to construct well-formed formulas of a formal language.