The content introduces tree-verifiable graph grammars as a syntactic restriction for CMSO-definable graph languages with bounded embeddable tree-width. It discusses regular tree grammars, embeddable tree-width, and the intersection of CMSO-definable and HR-context-free sets of graphs. The paper establishes the completeness of tree-verifiable grammars and their relation to regular graph grammars. It also covers Monadic Second Order Logic with Counting (CMSO) and recognizable sets of graphs. The content includes definitions, theorems, and propositions related to tree-verifiable graph grammars.
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Mark Chimes,... alle arxiv.org 02-29-2024
https://arxiv.org/pdf/2402.17015.pdfDomande più approfondite