term rewriting

基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]項(xiàng)重寫(xiě)

英漢例句

雙語(yǔ)例句

• 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

• term rewriting更多例句

詞組短語(yǔ)

短語(yǔ)

• term graph rewriting 長(zhǎng)期圖重寫(xiě)
• ordering for term -rewriting system [計(jì)]項(xiàng)重寫(xiě)系統(tǒng)排序
• Term Rewriting System 重寫(xiě)系統(tǒng);翻譯
• dependence term rewriting system 依賴(lài)項(xiàng)重寫(xiě)系統(tǒng)
• conditional term rewriting system [計(jì)]條件項(xiàng)重寫(xiě)系統(tǒng)

• term rewriting更多詞組

專(zhuān)業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 項(xiàng)重寫(xiě)

  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ě)能夠有效地實(shí)現(xiàn)項(xiàng)重寫(xiě)．文章從項(xiàng)重寫(xiě)的圖實(shí)現(xiàn)的角度出發(fā)，研究了圖重寫(xiě)模擬項(xiàng)重寫(xiě)的正確性和完備性；在無(wú)環(huán)出現(xiàn)的倩況下，圖重寫(xiě)對(duì)一切項(xiàng)重寫(xiě)正確；在無(wú)環(huán)出現(xiàn)的條件下，圖重寫(xiě)對(duì)左線(xiàn)性合流的項(xiàng)重寫(xiě)是完備的．據(jù)此，作者又研究了規(guī)則、共享和環(huán)生成的關(guān)系，從而指導(dǎo)操作，避免環(huán)的產(chǎn)生，保證正確性和完備性。