RGG+: an enhancement to the reserved graph grammar formalism

Enhancing the reserved graph grammar (RGG) formalism, this paper introduces a size-increasing condition on the structure of graph grammars' productions to simplify the definition of graph grammars, and a general parsing algorithm to extend the power of the RGG parsing algorithm.