term rewriting system

from The Free On-line Dictionary of Computing (8 July 2008)

term rewriting system
TRS

   (TRS) A collection of {rewrite rules} used to transform terms
   (expressions, strings in some formal language) into equivalent
   terms.  See {reduction}.

   (1994-11-04)