この論文では、ツリー検証可能なグラフ文法について説明されています。これらの文法はCMSO-definabilityを保証し、埋め込み可能な木幅が制限されます。定義や例を通じて、ツリー検証可能なグラフ文法の特性と重要性が詳細に説明されています。さらに、CMSO-definableな言語と埋め込み可能な木幅の関係に焦点を当てた結果が示されています。
Vers une autre langue
à partir du contenu source
arxiv.org
Questions plus approfondies