We present a new and powerful algebraic framework for graph rewriting, based on drags, a class of graphs enjoying a novel composition operator. Graphs are embellished with roots and sprouts, which can be wired together to form edges. Drags enjoy a rich algebraic structure with sums and products. Drag rewriting naturally extends graph rewriting, dag rewriting, and term rewriting models.
翻译:我们提出了一种基于拖拽图的新型强大代数框架,用于图重写。拖拽图是一类具有新颖组合算子的图结构,通过根节点与芽节点进行装饰,这些节点可通过连线构成边。拖拽图具备丰富的代数结构,支持求和与乘积运算。该重写模型自然扩展了图重写、有向无环图重写及项重写等经典模型。