本論文では、同期代数について以下のことを示した:
任意の関係は、それを認識する唯一の正準的で最小の代数を持ち、さらにその関係が同期的であるかどうかは、その最小代数が有限であるかどうかによって決まる。
望ましい閉包性質を持つ同期関係のクラス(「擬似変種」と呼ばれる)は、同期代数の擬似変種に対応する。
同期代数の擬似変種は、プロファイン依存関係と呼ばれる一般化されたプロファイン等式によって定義される。
これらの結果に基づき、正則言語の擬似変種の代数的特徴付けを、それらが誘導する同期関係の擬似変種に持ち上げることができることを示した。典型的な(そして実行中の)例は、有限状態同期置換オートマトンによって認識される「群関係」のクラスである。
In un'altra lingua
dal contenuto originale
arxiv.org
Approfondimenti chiave tratti da
by Rémi... alle arxiv.org 04-25-2024
https://arxiv.org/pdf/2404.15496.pdfDomande più approfondite