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 graph rewriting 长期图重写
- ordering for term -rewriting system [计]项重写系统排序
- Term Rewriting System 重写系统;翻译
- dependence term rewriting system 依赖项重写系统
- conditional term rewriting system [计]条件项重写系统
短语
专业释义
- 项重写
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.
图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性;在无环出现的倩况下,图重写对一切项重写正确;在无环出现的条件下,图重写对左线性合流的项重写是完备的.据此,作者又研究了规则、共享和环生成的关系,从而指导操作,避免环的产生,保证正确性和完备性。