この論文では、ツリー検証可能なグラフ文法について説明されています。これらの文法はCMSO-definabilityを保証し、埋め込み可能な木幅が制限されます。定義や例を通じて、ツリー検証可能なグラフ文法の特性と重要性が詳細に説明されています。さらに、CMSO-definableな言語と埋め込み可能な木幅の関係に焦点を当てた結果が示されています。
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Mark Chimes,... lúc arxiv.org 02-29-2024
https://arxiv.org/pdf/2402.17015.pdfYêu cầu sâu hơn