Systems of Reductions

General concepts from universal algebra.- Finite sets of reductions.- Infinite sets of reductions.- Automata and reductions.- Deciding algebraic properties of finitely presented monoids.