graph rewrite system

views updated

graph rewrite system A set of rules, usually in the form of equations, that describe computations that may be carried out on graphs; these take the form of changes that may be made to graphs (either finite or infinite).