Abstract

Grammar inference deals with determining (preferably simple) models/grammars consistent with a set of observations. There is a large body of research on grammar inference within the theory of formal languages. However, there is surprisingly little known on grammar inference for graph grammars. In this article, we take a further step in this direction and work within the framework of node label controlled (NLC) graph grammars. Specifically, given a graph G and a set 𝒮 of disjoint and isomorphic subgraphs of G, we characterize whether or not there is a graph grammar consisting of one production such that G may be derived from G0, the graph obtained from G by ‘contraction’ of each subgraph in 𝒮 to a node labelled by N. This generalizes a previous result that assumes boundary NLC graph grammars, and leads one to consider the more involved ‘non-confluent’ graph grammar rules.

Full Text
Paper version not known

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

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.