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

Revision: r1.1 - 08 Jan 2002 - 17:41 - EelcoVisser
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback