Regular Grammars for Sets of Graphs of Tree-Width 2
Marius Bozga, Radu Iosif, Florian Zuleger

TL;DR
This paper extends the concept of regular grammars from words to graphs of tree-width 2, establishing their equivalence with recognizable sets and exploring their logical definability and algebraic properties.
Contribution
It introduces regular grammars for graphs of tree-width 2, proving their equivalence with recognizable sets and characterizing MSO-definability through algebraic structures.
Findings
Regular grammars for graphs of tree-width 2 are equivalent to recognizable sets.
A 2EXPTIME upper bound is established for inclusion problems involving these grammars.
MSO-definability coincides with recognizability by specific algebraic structures.
Abstract
Regular word grammars are restricted context-free grammars that define all the recognizable languages of words. This paper generalizes regular grammars from words to certain classes of graphs, by defining regular grammars for unordered unranked trees and graphs of tree-width 2 at most. The qualifier ``regular'' is justified because these grammars define precisely the recognizable (equivalently, CMSO-definable) sets of the respective graph classes. The proof of equivalence between regular and recognizable sets of graphs relies on the effective construction of a recognizer algebra of size doubly-exponential in the size of the grammar. This sets a 2EXPTIME upper bound on the (EXPTIME-hard) problem of inclusion of a context-free language in a regular language, for graphs of tree-width 2 at most. A further syntactic restriction of regular grammars suffices to capture precisely the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Advanced Algebra and Logic · Natural Language Processing Techniques
