重写系统的英文

• rewrite system
• rewriting system

• "重写"英文翻译    overwrite; rewrite; rewritin ...
• "系统"英文翻译    system
• "术语重写系统" 英文翻译 :    term rewriting system
• "检索词重写系统" 英文翻译 :    term rewriting system
• "项重写系统排序" 英文翻译 :    ordering for term-rewriting system
• "读写系统" 英文翻译 :    read write system
• "书写系统" 英文翻译 :    writing system
• "日语书写系统" 英文翻译 :    japanese writing system
• "编译程序编写系统" 英文翻译 :    compiler writing system
• "翻译程序编写系统" 英文翻译 :    tws translator writing system
• "翻译程序书写系统" 英文翻译 :    translator writing systems; tws
• "重写" 英文翻译 :    [自动化]overwrite;rewrite;rewriting
• "藏文拉丁文转写系统" 英文翻译 :    wylie transliteration
• "藏文拉丁字母转写系统" 英文翻译 :    wylie transliteration
• "韩文罗马字转写系统" 英文翻译 :    korean romanization
• "会话式翻译程序书写系统" 英文翻译 :    conversational translator writing system
• "翻译程序书写系统 编写翻译程序的系统" 英文翻译 :    translatorwritingsystemtws
• "基于英汉平行语料库的词典编写系统" 英文翻译 :    cpsdict
• "可重写" 英文翻译 :    dvd dvd-rewritable
• "项重写" 英文翻译 :    term rewriting
• "重写，覆盖" 英文翻译 :    overwrite
• "重写；覆写" 英文翻译 :    overwrite
• "重写本" 英文翻译 :    palimpsest
• "重写入" 英文翻译 :    rewrite
• "并行重写" 英文翻译 :    parallel rewriting

• 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
  它大幅度拓宽了前面证明方法的应用范围，并可以应用于非终止非合流以及非左线性的项重写系统。
• 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
  该模型依赖项重写系统所建立的风险签名和重写规则,以项图的方式实现攻击场景的构建和风险分析过程。
• 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
  基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。