TUTORIAL INTRODUCTION TO THE ALGEBRAIC APPROACH OF GRAPH-GRAMMARS BASED ON DOUBLE AND SINGLE PUSHOUTS
TUTORIAL INTRODUCTION TO THE ALGEBRAIC APPROACH OF GRAPH-GRAMMARS BASED ON DOUBLE AND SINGLE PUSHOUTS
复制标题
DOI：
10.1007/bfb0017375
复制
发表时间：
1991-01-01
期刊：
影响因子：
--
通讯作者：
LOWE, M
中科院分区：
文献类型：
--
作者：
EHRIG, H;KORFF, M;LOWE, M
推导的代数概念所基于的胶合构造提供了对图重写的简单而直观的理解。继承了范畴论的强大工具箱，它的抽象版本作为一个（单响应）。双）推出导致高度紧凑和优雅的证明，特别是对于顺序和并行独立推导的基本构造以及分别对于并发和合并产生式。
The gluing construction on which the algebraic notion of a derivation is based operationally provides a simple and intuitive understanding of graph rewriting. Inheriting the powerful toolbox of category theory, its abstract version as a (single resp. double) pushout leads to highly compact and elegant proofs especially for the basic constructions of sequential and parallel independent derivations as well as for concurrent and amalgamated productions respectively.