These results can direct the implementing of term rewriting system by graph rewriting system. 以上结果能够用于指导项重写的图实现。
Graph rewriting is an efficient technique for implementing term rewriting system. From the angle of implementation, we study the soundness and completeness of graph rewriting simulating term rewriting. 图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性;