本論文では、高次元オートマトン(HDA)の言語を論理的な観点から研究している。HDAsの言語は、有界幅の区間ポムセットの集合で、順序拡張に閉じている。著者らは、HDAsの言語がMSO定義可能であることを示した。逆に、MSO定義可能な有界幅の区間ポムセットの集合の順序拡張がHDAsの言語となることも示した。その結果、全てのポムセットの場合とは異なり、MSO定義可能な有界幅の区間ポムセットの集合の順序拡張もMSO定義可能となる。
論文は以下の構成となっている:
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Amazigh Amra... lúc arxiv.org 03-29-2024
https://arxiv.org/pdf/2403.19526.pdfYêu cầu sâu hơn