## User login## Navigation |
## A tutorial on graph transformationA nice application of category theory to computer science that is rather simpler than its application to semantics tends to get is the single and double pushout approach to graph transformation. Categorical pushouts allow patterns and rewrites on many kinds of structure, in particular graphs, to be specified in a simple manner. The theory can be read forwards, generalising term rewriting systems to graph rewriting systems, or backwards, specifying parsing problems for a graph grammar. There's a shortage of good introductory material to this idea online. Offline I can recommend Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts [citeseer]. Online I suggest Practical Use of Graph Rewriting, and I welcome other suggestions. |
## Browse archives
## Active forum topics |

## Recent comments

6 days 1 hour ago

6 days 1 hour ago

1 week 5 days ago

2 weeks 1 day ago

2 weeks 2 days ago

2 weeks 2 days ago

2 weeks 2 days ago

4 weeks 3 days ago

7 weeks 6 days ago

8 weeks 6 hours ago