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