term rewriting

常见例句

These results can direct the implementing of term rewriting system by graph rewriting system.
以上结果能够用于指导项重写的图实现。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。
It is not surprising that in its second term, the administration has been distancing itself from these policies and is in the process of rewriting the National Security Strategy document.
它在世人眼中的单边主义却使它陷入了空前孤立。这样，行政当局从布什第二任开始疏远这些政策，并开始改写国家安全战略的文件也就不奇怪了。
blog.sina.com.cn