The Free On-line Dictionary of Computing (30 December 2018):

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)