1. In reduction systems, the state of a term
which contains no reducible expressions. Variants include
head normal form, weak head normal form.
2. See database normalisation.
norm ♦ normal distribution ♦ normal form ♦ normalisation ♦ normalised
Try this search on
Updated: Tue, 18 Sep 2018 07:41:57 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985