Introduction to the algebraic theory of graph grammars (a survey)
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now, as well as applications to a "very small data base system", where consistent states are represented as graphs.
Abstract
The aim of this survey is to motivate and introduce the basic constructions and results which have been developed in the algebraic theory of graph grammars up to now. The complete material is illustrated by several examples, especially by applications to a "very small data base system", where consistent states are represented as graphs, operation rules and operations as productions and derivations in a graph grammar respectively. Further applications to recursively defined functions, record handling, compiler techniques and development and evolution in Biology are sketched in the introduction. This survey is divided into the following sections: