Rice, Monique 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 Keywords:Complete Minimal Set of Contextual Normal Forms; Church-Rosser theorem; confluent rewriting system; algorithm Citations:Zbl 0532.00010 PDFBibTeX XML