Topic summary
Rewrite system
Extracted from the Wikipedia article Rewriting.
Graph rewriting systems
Graph rewrite systems are another generalization of term rewrite systems, operating on graphs instead of (ground-) terms / their corresponding tree representation.