查询词典 rewriting

The sum of algebraic rewriting system and second order λ-calculus can be used as an operational model of FOPL.

对一个类定义，通过限制方程的从左向右使用即可得到一个代数重写系统，代数重写系统和二阶λ演算的和即可作为FOPL的一个操作模型。

But the Games focused international attention on antigovernment protests -- and the country's leaders gave in, rewriting the constitution and holding free elections.

是奥运让国际社会注意到了这个国家的反政府示威，最后该国领导人作出了让步，修改了宪法并举行了自由选举。

But the Games focused international attention on antigovernment protests -- and the countrys leaders gave in, rewriting the constitution and holding free elections.

是奥运让国际社会注意到了这个国家的反政府示威，最后该国领导人作出了让步，修改了宪法并举行了自由选举。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Evolution operations on development systems can be naturally expressed by graph rewriting rules. An evolution step is a concrete derivation of a rewriting rule from the graph representing the development system.

在此基础上，我们考察了软件工程中的各种对象在具体图模型上的表示，以及对象间的各种横向和纵向联系。

Third, rewriting is rewriting, and writing is a writer's work.

第三，修改是修改，作家的工作是写作。

So we could take the way of rewriting.

因此我们可以用rewriting改写的方式。

Considerable debate has developed over the designation of an original scroll containing Jeremiah's words in contrast to later rewriting of the scroll - both a rewriting engineered by Jeremiah and several successive editions of the book running through the Deuteronomistic period.

相当多的辩论已发展超过指定一个原来的滚动含有耶利米的话，在对比后重写滚动-既是一个重写工程由耶利米和连续版本的这本书贯穿d euteronomistic时期。

Considerable debate has developed over the designation of an original scroll containing Jeremiah's words in contrast to later rewriting of the scroll - both a rewriting engineered by Jeremiah and several successive editions of the book running through the Deuteronomistic period.

大量的辩论已经发展了指定一个原始涡旋载耶利米的话相反，后来改写滚动-既是一个重写策划耶利米和连续版本的图书贯穿Deuteronomistic时期。

According toLefevere, translation is a rewriting of an original text. All rewritings are constrained bycertain ideology, poetics and patronage in a given period. Lefeveres rewriting theorypaves a new way to the research on creativity in literary theory.

勒菲弗尔指出不管何种形式的翻译都是对原作的改写，改写受到来自一定的意识形态，诗学和赞助人的制约，为我们对翻译创造性的研究提供了新的方法。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。