Reduction Operators and Completion of Rewriting Systems

Cyrille Chenavier

We propose a functional description of rewriting systems where reduction rules are represented by linear maps called reduction operators. We show that reduction operators admit a l…