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

• term rewriting更多例句

词组短语

短语

• term graph rewriting 长期图重写
• ordering for term -rewriting system [计]项重写系统排序
• Term Rewriting System 重写系统;翻译
• dependence term rewriting system 依赖项重写系统
• conditional term rewriting system [计]条件项重写系统

• term rewriting更多词组

专业释义

计算机科学技术

• 项重写

  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.
  图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究了规则、共享和环生成的关系，从而指导操作，避免环的产生，保证正确性和完备性。