本論文では、高次元オートマトン(HDA)の言語を論理的な観点から研究している。HDAsの言語は、有界幅の区間ポムセットの集合で、順序拡張に閉じている。著者らは、HDAsの言語がMSO定義可能であることを示した。逆に、MSO定義可能な有界幅の区間ポムセットの集合の順序拡張がHDAsの言語となることも示した。その結果、全てのポムセットの場合とは異なり、MSO定義可能な有界幅の区間ポムセットの集合の順序拡張もMSO定義可能となる。
論文は以下の構成となっている:
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Wichtige Erkenntnisse aus
by Amazigh Amra... um arxiv.org 03-29-2024
https://arxiv.org/pdf/2403.19526.pdfTiefere Fragen