go top

网络释义专业释义

  Term Rewriting System

3 重写系统简介 重写系统( Term Rewriting System) 定义为一个二元组 〈R , S〉, 其中 S 代表项的集合, R 代表形如l →r 的重写规则集 合, 其中 l 和 r 是S 中的项, 可称为规则的左...

基于16个网页-相关网页

短语

条件项重写系统 [计] conditional term rewriting system

字符串重写系统 String rewriting system

项重写系统排序 [计] ordering for term-rewriting system

网重写系统 net rewriting systems

字符重写系统 String rewriting system

图形重写系统 graph rewriting system

改进的网重写系统 Improved net rewriting system

 更多收起网络短语
  • rewriting system - 引用次数:10

    参考来源 - 一种基于ADT的函数语言及其操作语义模型 in C

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 其次我们可以从头重写系统或者尝试现有架构演进我们需要系统

    Second, we could rewrite the system from scratch or try to evolve the existing architecture into the system we needed.

    youdao

  • 介绍了字符串重写系统基本原理及其改进算法——模板重写算法。

    The principle of String Rewriting System and its improved algorithm-Pattern Rewriting Algorithm are introduced with emphasis.

    youdao

  • 第三可能性产生于工作Assistments团队中的研究生建议Rails重写系统

    A third possibility came up when one of the graduate students working on the Assistments team suggested rewriting the system using Rails.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定