Graph expressions and graph rewritings

  title={Graph expressions and graph rewritings},
  author={Michel Bauderon and Bruno Courcelle},
  journal={Mathematical systems theory},
We define an algebraic structure for the set of finite graphs, a notion of graph expression for defining them, and a complete set of equational rules for manipulating graph expressions. (By agraph we mean an oriented hypergraph, the hyperedges of which are labeled with symbols from a fixed finite ranked alphabet and that is equipped with a finite sequence of distinguished vertices). The notion of a context-free graph grammar is introduced (based on the substitution of a graph for a hyperedge in… CONTINUE READING
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 137 extracted citations


Publications referenced by this paper.

Théorie des magmoïdes

View 8 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…