A kernel language for programmed rewriting of (hyper)graphs (Q1901702)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A kernel language for programmed rewriting of (hyper)graphs |
scientific article |
Statements
A kernel language for programmed rewriting of (hyper)graphs (English)
0 references
19 November 1995
0 references
The paper presents a formalism for rewriting (hyper)graphs in a controlled manner. This formalism is essentially a simple programming language with productions, that is rewriting rules, playing the role of basic instructions. Programs in this language are built from productions by means of rather standard constructors, including a parallel composition. They may contain parameters to point to specific elements of graphs to which they are supposed to be applied. Programs are intended to describe how to transform a graph and a valuation of parameters in this graph in order to reach a resulting graph and a resulting valuation of parameters.
0 references
rewriting of graphs
0 references
hypergraphs
0 references
programming language with productions
0 references
parallel composition
0 references