rewriting
present participle ofrewrite
| 单词 | rewriting |
| 释义 | rewriting present participle ofrewrite Examplesofrewritingrewriting The residuation principle is based on the idea of delaying function calls until they are sufficiently instantiated for a deterministic evaluation byrewriting. From theCambridge English Corpus The advantage ofrewritingthe boundary conditions in this form is that the equations become separated into groups of independent equations which are easily solved. From theCambridge English Corpus Different controls are equipped with different reaction rules, often calledrewritingrules in syntactic or graphical systems. From theCambridge English Corpus Furthermore, there are unary rulesrewritingthis start category into each of the relevant maximal projections. From theCambridge English Corpus Arewritingin a set will be redundant if the data it asks for are already contained by the other rewritings in the set. From theCambridge English Corpus For example, textrewritingin translation and compiler construction is based on tokenized text, hence problems with overlapping originals do not occur. From theCambridge English Corpus We use a small-step operational semantics in the form of a single-steprewritingsystem that defines a (non-deterministic) normal-order reduction. From theCambridge English Corpus All these observations also hold forrewritingmodulo associativity and commutativity. From theCambridge English Corpus Both classes of languages share concepts like pattern matching (first-order versus higher-order), (tree or graph)rewriting, guards (or conditions), sometimes "where" blocks and "let" expressions. From theCambridge English Corpus It would be of interest to know whether such groups must have a finite convergentrewritingsystem. From theCambridge English Corpus Therewritingstructure is checked for consistency with the term. From theCambridge English Corpus Conditionalrewritinglogic as a unified model of concurrency. From theCambridge English Corpus Both conditional and non-conditional termrewritingare covered; but the treatment is still mathematical rather than implementation based. From theCambridge English Corpus As in standard termrewriting, we can use local confluence and strong normalisation to prove the confluence of a relation. From theCambridge English Corpus We will now give the formal definition of matching and replacement, and then definerewritingprecisely. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。