graph rewriting system
An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.Nearby terms:
graph plotter ♦ graph reduction ♦ graph rewriting system ♦ GRAPPLE ♦ GRAS
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
