GRS:图形重写系统
“Graph Rewriting System”在计算机科学领域常被缩写为GRS,以便于快速书写和日常使用。它广泛用于软件与形式化方法中,是一种对图形结构进行变换和推导的规则系统,中文译为“图形重写系统”。
Graph Rewriting System具体释义
Graph Rewriting System的英文发音
例句
- These results can direct the implementing of term rewriting system by graph rewriting system.
- 以上结果能够用于指导项重写的图实现。
- Graph rewriting is an efficient technique for implementing term rewriting system. From the angle of implementation, we study the soundness and completeness of graph rewriting simulating term rewriting.
- 图重写能够有效地实现项重写.文章从项重写的图实现的角度出发,研究了图重写模拟项重写的正确性和完备性;
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若GRS词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。