×

The construction of a complete minimal set of contextual normal forms. (English) Zbl 0549.68022

Computer algebra, EUROCAL ’83, Proc. Conf., London 1983, Lect. Notes Comput. Sci. 162, 255-266 (1983).
Summary: [For the entire collection see Zbl 0532.00010.]
This paper introduces the concept of Complete Minimal Set of Contextual Normal Forms (C.M.S.C.N.F.). The Church-Rosser theorem on confluent rewriting systems is extended to a hierarchical conditional confluent rewriting system. An algorithm which computes C.M.S.C.N.F.s is presented and proved in this article, and several examples are developed.

MSC:

68Q65 Abstract data types; algebraic specification

Citations:

Zbl 0532.00010