Abstract

We establish that a set of graphs generated by a “Vertex replacement” graph grammar can be generated by a “Hyperedge replacement” one iff its graphs do not contain arbitrarily large complete bipartite graphs Kn,n as subgraphs, iff its graphs have a number of edges that is linearly bounded in terms of the number of vertices. These properties are decidable by means of an appropriate extension of the theorem by Parikh that characterizes the commutative images of context-free languages.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call