If Σ is an alphabet of basic symbols, then a regular definition is a sequence of definition of the form
d1 ->r1
d2 ->r2
….
dn->rn
Where each di is a distinct name, and each ri is a regular expression over the symbol in Σ U {d1, d2, …di-1}