Normal Form

A term is in normal form if no rewrite rule applies anywhere within the term.

This implies that rewrite rules are applied everywhere in a term. This is not always appropriate.

In rewriting with rewriting strategies the application of rewrite rules is under control of a user-defined strategy. In this setting the notion of normal form depends on the strategy used, and can no longer be related only to the set of rules.

---

CategoryGlossary | StrategoGlossary