DeepAI AI Chat
Log In Sign Up

A Set-Theoretic Framework for Parallel Graph Rewriting

by   Thierry Boy de la Tour, et al.

We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we define the notion of rewrite rules as three inclusions of the form L ⊇ K ⊇ M ⊆ R. We provide six conditions that parallel graph rewrite relations should ideally satisfy, which lead us to define two distinct full parallel graph rewrite relations. A central notion of regularity of matchings is proved to be equivalent to these six conditions, and to the equality of these two relations. Furthermore, we take advantage of the symmetries that may occur in L, K, M and R and define another pair of rewrite relations that factor out possibly many equivalent matchings up to their common symmetries. These definitions and the corresponding proofs combine operations on graphs with group-theoretic notions, thus illustrating the relevance of our framework.


page 1

page 2

page 3

page 4


Dowker Complexes and filtrations on self-relations

Given a relation on X × Y, we can construct two abstract simplicial comp...

Universal Obstructions of Graph Parameters

We introduce a graph-parametric framework for obtaining obstruction char...

Parallel Independence in Attributed Graph Rewriting

In order to define graph transformations by the simultaneous application...

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

We address the problem of defining graph transformations by the simultan...

Algebraic Monograph Transformations

Monographs are graph-like structures with directed edges of unlimited le...

Tietze Equivalences as Weak Equivalences

A given monoid usually admits many presentations by generators and relat...