Normal form (abstract rewriting)

In abstract rewriting, an object is in normal form if it cannot be rewritten any further.

Depending on the rewriting system and the object, several normal forms may exist, or none at all.

See also

• Abstract rewriting system
• Computer science
• Expression (computer science)
• Newman's lemma
• Object (computer science)

External links

• Normal form (abstract rewriting) @ Wikipedia