graph rewriting system

graph rewriting system

An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoidduplication of work by sharing expressions.