term rewriting

基本解釋

These results can direct the implementing of term rewriting system by graph rewriting system.
以上結(jié)果能夠用于指導(dǎo)項重寫的圖實現(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)的合流性，通過引入符號測度的概念，本文定義了半正則重寫系統(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

項重寫
From the angle of implementation, we study the soundness and completeness of graph rewriting simulating term rewriting. In the no-cycle-appear case, graph rewriting is sound for all term rewriting.
圖重寫能夠有效地實現(xiàn)項重寫．文章從項重寫的圖實現(xiàn)的角度出發(fā)，研究了圖重寫模擬項重寫的正確性和完備性；在無環(huán)出現(xiàn)的倩況下，圖重寫對一切項重寫正確；在無環(huán)出現(xiàn)的條件下，圖重寫對左線性合流的項重寫是完備的．據(jù)此，作者又研究了規(guī)則、共享和環(huán)生成的關(guān)系，從而指導(dǎo)操作，避免環(huán)的產(chǎn)生，保證正確性和完備性。