重写系统 meaning in English
rewrite system
rewriting system
Examples
- Overriding settings on members of systems
重写系统成员的设置 - Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction
本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。 - These variables override the system environment or are merged with the system environment , depending on the merge environment setting
根据“合并环境”设置的不同，这些变量重写系统环境或与系统环境合并。 - Explains how to override a setting on the system diagram once the setting is specified as overridable on the application diagram
解释将应用程序关系图中的设置指定为可重写设置后，如何重写系统关系图中的设置。 - 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
它大幅度拓宽了前面证明方法的应用范围，并可以应用于非终止非合流以及非左线性的项重写系统。