Abstract
The hyperedge replacement grammar (HRG) formalism is a natural and well-known generalization of context-free grammars. HRGs inherit a number of properties of context-free grammars, e.g. the pumping lemma. This lemma turns out to be a strong restriction in the hypergraph case: it implies that languages of unbounded connectivity cannot be generated by HRGs. We introduce a formalism that turns out to be more powerful than HRGs while having the same algorithmic complexity (NP-complete). Namely, we introduce hypergraph Lambek grammars; they are based on the hypergraph Lambek calculus, which may be considered as a logic of hypergraph languages. We explain the underlying principles of hypergraph Lambek grammars, establish their basic properties, and show some languages of unbounded connectivity that can be generated by them (e.g. the language of all graphs, the language of all bipartite graphs, the language of all regular graphs).
Sign-in/Register to access full text options 
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 callMore From: Electronic Proceedings in Theoretical Computer Science
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.
