本論文は、文脈フリー言語から正規言語への包含問題を解決するための統一的なアプローチを提案している。
このアプローチの核心は2つの概念に基づいている:
具体的には、まず文脈フリー言語Gの言語L(G)を最小不動点FGで特徴付ける。次に、準順序関係⋉を用いて、L(G)の十分な単語集合Sを計算する。Sは有限個の単語から成り、L(G) ⊑⋉Sが成り立つ。最後に、各Sの単語がM に属するかどうかを確認することで、L(G) ⊆Mの包含関係を決定する。
準順序関係⋉は以下の3つの性質を満たす必要がある:
本論文では、まず状態ベースの準順序関係を提案し、その後他の準順序関係についても議論している。さらに、状態ベースの準順序関係を用いた効率的な実装手法についても説明している。
最後に、本アプローチの一般性を示すため、他の言語クラスへの適用例(正規言語間、Petri網の痕跡集合間、ω-正規言語間、ω-文脈フリー言語から ω-正規言語への包含問題など)を紹介している。
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Kyveli Dover... alle arxiv.org 04-16-2024
https://arxiv.org/pdf/2404.09862.pdfDomande più approfondite