term rewriting

常見(jiàn)例句

These results can direct the implementing of term rewriting system by graph rewriting system.
以上結(jié)果能夠用于指導(dǎo)項(xiàng)重寫(xiě)的圖實(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.
本文著重研究重寫(xiě)系統(tǒng)的合流性，通過(guò)引入符號(hào)測(cè)度的概念，本文定義了半正則重寫(xiě)系統(tǒng)，并證明了半正則重寫(xiě)系統(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)局從布什第二任開(kāi)始疏遠(yuǎn)這些政策，并開(kāi)始改寫(xiě)國(guó)家安全戰(zhàn)略的文件也就不奇怪了。
blog.sina.com.cn