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

graph rewriting system
     
        An extension of a {term rewriting system} which uses {graph
        reduction} on terms represented by {directed graph}s to avoid
        duplication of work by sharing expressions.