Graph rewriting

Graph rewriting is a computational process in which graphs are rewritten.