この論文では、ツリー検証可能なグラフ文法について説明されています。これらの文法はCMSO-definabilityを保証し、埋め込み可能な木幅が制限されます。定義や例を通じて、ツリー検証可能なグラフ文法の特性と重要性が詳細に説明されています。さらに、CMSO-definableな言語と埋め込み可能な木幅の関係に焦点を当てた結果が示されています。
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