formation rules

formation rules pl n

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