Graph rewriting
（重定向自Graph transformation）
![Example for graph rewrite rule (optimization from compiler construction: multiplication with 2 replaced by addition)](/Images/godic/202501/16/GraphRewriteExample2357.PNG")
Graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (software construction and also software verification) to layout algorithms and picture generation.