English translation for "重写系统"
|
- rewrite system
rewriting system
Related Translations:
重写: [自动化]overwrite;rewrite;rewriting 重写调制: overwrite modulation 重写规则: rewrite rulesrewriting rule
- Example Sentences:
| 1. | Overriding settings on members of systems
重写系统成员的设置 | | 2. | Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction
本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。 | | 3. | These variables override the system environment or are merged with the system environment , depending on the merge environment setting
根据“合并环境”设置的不同，这些变量重写系统环境或与系统环境合并。 | | 4. | Explains how to override a setting on the system diagram once the setting is specified as overridable on the application diagram
解释将应用程序关系图中的设置指定为可重写设置后，如何重写系统关系图中的设置。 | | 5. | 9 feng s , sakabe t , inagaki y . confluence property of simple frames in dynamic term rewriting calculus . ieice trans . information and systems , 1997 , e80 - d : 625 - 645
它大幅度拓宽了前面证明方法的应用范围，并可以应用于非终止非合流以及非左线性的项重写系统。 | | 6. | Based on the algebra specification of term rewriting model , this paper builds the attack scenario and performs the risk analysis in the way of graph rewriting
该模型依赖项重写系统所建立的风险签名和重写规则,以项图的方式实现攻击场景的构建和风险分析过程。 | | 7. | Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。 |
- Similar Words：
- "重写了在游戏中观看者的模式，使其更好用" English translation, "重写模块" English translation, "重写模式" English translation, "重写人生" English translation, "重写入" English translation, "重写语句" English translation, "重写杂讯" English translation, "重写噪声" English translation, "重泻药" English translation, "重新" English translation
|
|
|
