Regular Grammars for Graph Sets of Tree-Width $\leq2$ - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Regular Grammars for Graph Sets of Tree-Width $\leq2$

Marius Bozga
Radu Iosif

Résumé

Regular and context-free languages form a central pillar of formal language theory. This is because a variety of formalisms are known that define these classes of languages. For example, we have that finite automata, monoids, algebraic recognizability, regular expressions, regular grammars, monadic-second order logic, etc., can be used to represent regular word languages. However, the situation is less clear for formal languages over graphs, and open problems persist. This is because generalizing notions from words to graphs has been more successful for some of the cited formalisms than for the other ones. Bruno Courcelle has introduced hyper-edge replacement (\hr) algebras for generalizing the notion of context-free languages from words to graphs. At the same time, \hr-algebras support the generalization of algebraic recognizability from words to graphs, a notion that has been proven to be equivalent to definability in (counting) monadic-second order logic (\cmso) over graphs of bounded tree-width. In this paper, we deal with generalizing regular word grammars to graphs. We propose regular grammars for (unordered and unranked) trees, series-parallel graphs, and graphs of tree-width $\le 2$, where the qualifier regular is justified because these grammars define exactly the recognizable resp. \cmso-definable subsets of the respective graph classes.
Fichier principal
Vignette du fichier
2408.01226v2.pdf (761.47 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04763351 , version 1 (01-11-2024)

Identifiants

Citer

Marius Bozga, Radu Iosif, Florian Zuleger. Regular Grammars for Graph Sets of Tree-Width $\leq2$. 2024. ⟨hal-04763351⟩
12 Consultations
3 Téléchargements

Altmetric

Partager

More