资料来源 : Free On-Line Dictionary of Computing

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}.