Graphs with interfaces are a simple and intuitive tool for allowing a graph G to interact with the environment, by equipping it with two morphisms J → G, I → G. These “handles” were used to define graphical operators, and to provide an inductive presentation of graph rewriting. A main feature of graphs with interfaces is their characterization as terms of a free algebra. So far, this was possible only with discrete interfaces, i.e., containing no edge. This note shows that a similar free construction can be performed also with disconnected interfaces, i.e., containing only nodes connected to at most one edge.
A note on an old-fashioned algebra for (disconnected) graphs
GADDUCCI, FABIO
2009-01-01
Abstract
Graphs with interfaces are a simple and intuitive tool for allowing a graph G to interact with the environment, by equipping it with two morphisms J → G, I → G. These “handles” were used to define graphical operators, and to provide an inductive presentation of graph rewriting. A main feature of graphs with interfaces is their characterization as terms of a free algebra. So far, this was possible only with discrete interfaces, i.e., containing no edge. This note shows that a similar free construction can be performed also with disconnected interfaces, i.e., containing only nodes connected to at most one edge.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
