The Free On-line Dictionary of Computing (19 January 2023):

normal form

   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.