[论文解读] 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 → C 定义为 π(t) = inf TrS(t)，t ∈ TC。
• 所得代数 C = ⟨C, π, ≤⟩ 是一个扩展 π₀ 的树代数，且满足所有必要公理，如引理 5.20 所证明。
• 完整代数 A 通过设定 π(t) = sup{π₁(s) | s ∈ TC, s ≤T t} 构造，确保并连续性与分配律。
• 乘积 π 在正则项上扩展 π₀，且代数 A 为分支连续，其证明依赖于骨架 S 的交连续性。
• 保持交与并的 RT-代数之间的同态可提升为对应完整树代数之间的同态，如命题 5.23 所确立。