图重写

graph rewriting