pushout-constructions to specify embeddings and direct derivations constructively. We
consider the case of arbitrary directed graphs permitting loops and parallel edges. The
gluing of two arbitrary labeled graphs (push-out) is defined allowing a strictly symmetric
definition of direct derivations and the embedding of derivations into a common frame. A two-
dimensional hierarchy of graph-grammars is given including the classical case of Chomsky …