term rewriting

常見例句

These results can direct the implementing of term rewriting system by graph rewriting system.
以上結(jié)果能夠用于指導(dǎo)項(xiàng)重寫的圖實(shí)現(xiàn)。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
本文著重研究重寫系統(tǒng)的合流性，通過引入符號(hào)測(cè)度的概念，本文定義了半正則重寫系統(tǒng)，并證明了半正則重寫系統(tǒng)的合流性。
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.
它在世人眼中的單邊主義卻使它陷入了空前孤立。這樣，行政當(dāng)局從布什第二任開始疏遠(yuǎn)這些政策，并開始改寫國家安全戰(zhàn)略的文件也就不奇怪了。
blog.sina.com.cn