[論文レビュー] Branch-Continuous Tree Algebras

Achim Blumensath, Lédl, Jakub|arXiv (Cornell University)|Jul 12, 2018

semigroups and automata theory参考文献 5被引用数 3

ひとこと要約

本稿では、正規木言語を完全に代数的枠組みで特徴づけるために、分岐連続木代数を導入する。これは、正規性に依存する従来の定義における循環的構造を回避する非循環的代替定義を提供する。このアプローチは、冪集合構成とスケルトンを用いた完成法を用い、正規木言語と、下界および上界連続性に関して閉じた代数との間の対応を確立する。さらに、任意の有限的かつ分岐連続なRT代数が、一意に定まる分岐連続木代数の正規部分として実現されることを示す。

ABSTRACT

We study a class of algebras that can be used as recognisers for regular languages of infinite trees.

研究の動機と目的

• 定義において自動機や論理を用いない、正規木言語の完全な代数的特徴づけを構築すること。
• 正規木代数のような従来の枠組みにおける循環的構造（正規性の概念に依存する）を克服すること。
• 連続的代数的構造を用いて、正規木言語の代数的および組合的に分析する基盤を確立すること。
• 任意の有限的かつ分岐連続なRT代数が、一意に定まる分岐連続木代数の正規部分であることを示すこと。
• 理論的分析に適した枠組みを提供すること。アルゴリズム的応用には最適ではないが、理論的考察に適している。

提案手法

• 木代数を ⟨A, π⟩ のペアとして定義し、π: TA → A が結合則および単位元の公理を満たす積関数であると定義する。
• 順序論的性質、特に下界連続性および上界連続性を用いて、完全性および連続性を定義する。
• 冪集合構成を用いて木代数を完成させ、閉包および拡張の性質を用いた証明を可能にする。
• RT代数 A₀ のスケルトン S を、A₀ を閉包で生成し、下界および上界拡張条件を満たす部分代数として定義する。
• スケルトン上のトレースの下界を用いて、積を拡張することで分岐連続木代数を構成し、連続性を保証する。
• 有限代数を完全代数に拡張するための完成技法を適用し、連続性および正規性を保存する。

実験結果

リサーチクエスチョン

• RQ1 正規性の概念に依存せずに、正規木代数の完全な代数的定義を与えることは可能か？
• RQ2 木代数における連続性条件をどのように形式化すれば、正規木言語との対応が保証されるか？
• RQ3 有限のスケルトンから完全な木代数を構成するための完成メカニズムは何か？
• RQ4 任意の有限的かつ分岐連続なRT代数が、一意に定まる分岐連続木代数の正規部分であるか？
• RQ5 連続性および閉包条件を満たす場合、RT代数間の準同型が、対応する完全木代数間の準同型に持ち上げられるか？

主な発見

• 任意の有限的かつ分岐連続なRT代数 A₀ は、一意に定まる分岐連続木代数 A の正規部分である。これは定理 5.22 で示されている。
• A₀ から A を構成するには、スケルトン S の閉包を用い、TC に属する t に対して π: TC → C を π(t) = inf TrS(t) と定義する。
• 得られる代数 C = ⟨C, π, ≤⟩ は、π₀ を拡張する木代数であり、すべての必要な公理を満たす。これは補題 5.20 で証明されている。
• 完全代数 A は、π(t) = sup{π₁(s) | s ∈ TC, s ≤T t} と定義することで構成され、上界連続性および分配法則が保証される。
• 積 π は正規項上で π₀ を拡張し、代数 A は分岐連続性を満たす。これはスケルトン S の下界連続性により示される。
• 下界および上界を保存するRT代数間の準同型は、命題 5.23 で示されるように、対応する完全木代数間の準同型に持ち上げられる。