Regular expressions for graphs of tree-width 2
31 MARS 2022 11:30
| Durée 30:30 | Vues 712
We propose a syntax of regular expressions, whose languages are graphs of tree width 2. We show that these languages correspond exactly to MSO definable languages of graphs of tree width 2.
-
Téléchargements
-