资料来源 : Free On-Line Dictionary of Computing

term rewriting system
     
        (TRS) A collection of {rewrite rule}s used to transform terms
        (expressions, strings in some formal language) into equivalent
        terms.  See {reduction}.
     
        (1994-11-04)