The Free On-line Dictionary of Computing (19 January 2023):

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)