English Normal form (abstract rewriting) Cited by user Mathnerd314159 on 20 Aug 2021 In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e.