中英▼
go top

graph rewriting

  • 图重写

网络释义专业释义英英释义

  图重写

图重写

基于1个网页-相关网页

短语

graph rewriting system 图形重写系统

term graph rewriting 长期图重写

parallel graph rewriting 并行图重写

parallel graph rewriting model 并行图重写执行模型

parallel graph rewriting abstract machine 并行图重写抽象机

parallel graph rewriting computational model 并行图重写计算模型

 更多收起网络短语
  • 图重写 - 引用次数：5

    From the angle of implementation, we study the soundness and completeness of graph rewriting simulating term rewriting. In the no-cycle-appear case, graph rewriting is sound for all term rewriting.

    图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究了规则、共享和环生成的关系，从而指导操作，避免环的产生，保证正确性和完备性。

    参考来源 - 项重写的图实现 in C

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

Graph rewriting

  • abstract: Graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (software construction and also software verification) to layout algorithms and picture generation.

以上来源于: WordNet

双语例句

  • Its input language is based on DATALOG and graph rewriting.

    它的输入语言是基于DATALOG和图形再编写。

    youdao

  • These results can direct the implementing of term rewriting system by graph rewriting system.

    以上结果能够用于指导项重写的图实现。

    youdao

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

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

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