formation rules

plural noun

1. logic the set of rules that specify the syntax of a formal system; the algorithm that generates the well-formed formulae