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.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Mark Chimes,... a las arxiv.org 02-29-2024
https://arxiv.org/pdf/2402.17015.pdfConsultas más profundas