These results can direct the implementing of term rewriting system by graph rewriting system.
以上结果能够用于指导项重写的图实现。
youdao
应用推荐
模块上移
模块下移
不移动