[论文解读] Eilenberg Theorems for Free

Henning Urbat, Jiřı́ Adámek+2 more|arXiv (Cornell University)|Feb 18, 2016

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

一句话总结

本文提出了一套统一的范畴论框架，用于描述Eilenberg型对应关系，即语言种类与有限代数伪品种之间的对应，该框架基于代数范畴上的单子和Stone型对偶性。通过展示所有此类对应关系均源于同一配方，从而推广了已知结果（包括无限词、树和代价函数的情形），并得出一个全面的语言种类定理，该定理涵盖了先前的工作并证明了新结果，例如将Gehrke、Grigorieff与Pin的局部种类定理推广至无限词的情形。

ABSTRACT

Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory. Numerous such correspondences are known in the literature. We demonstrate that they all arise from the same recipe: one models languages and the algebras recognizing them by monads on an algebraic category, and applies a Stone-type duality. Our main contribution is a variety theorem that covers e.g. Wilke's and Pin's work on $\infty$-languages, the variety theorem for cost functions of Daviaud, Kuperberg, and Pin, and unifies the two previous categorical approaches of Bojańczyk and of Adámek et al. In addition we derive a number of new results, including an extension of the local variety theorem of Gehrke, Grigorieff, and Pin from finite to infinite words.

研究动机与目标

• 将代数语言理论中多种多样的Eilenberg型对应关系统一为一个范畴论框架。
• 通过将代数范畴上的单子与Stone对偶性相结合，扩展现有的范畴论方法，涵盖有限词语言、无限词语言、树语言和代价函数。
• 将Gehrke、Grigorieff与Pin的局部种类定理从有限词推广至无限词。
• 推导出新结果，包括有序树代数的正种类定理，并统一Bojańczyk与Adámek等人先前的范畴论方法。
• 提供一种系统化、可复用的配方，用于在不同语言与代数结构之间推导Eilenberg对应关系。

提出的方法

• 使用$\mathscr{D}^S$（即有限排序集$S$上的$\mathscr{D}$-代数范畴）上的单子来建模语言及其识别代数，其中$\mathscr{D}$为一个代数范畴。
• 应用Stone型对偶性，建立由单子识别的语言种类与有限代数伪品种之间的对应关系。
• 通过单子的自由代数构造并商掉语法同余关系，将语法代数定义为语言的最小识别器。
• 通过导数与同态下的原像来刻画种类的封闭性质，推广经典Eilenberg条件。
• 引入“约化代数”的概念，以确保对偶性的忠实性，尤其适用于树与上下文相关语言。
• 利用有限$\mathbf{T}$-代数与其对偶空间之间的对偶性，推导出种类格与伪品种格之间的同构关系。

实验结果

研究问题

• RQ1 所有已知的语言种类与有限代数伪品种之间的Eilenberg型对应关系，是否均可从单一范畴论配方中导出？
• RQ2 代数范畴上的单子框架应如何扩展，以涵盖无限词语言、树语言和代价函数？
• RQ3 能否利用该框架将Gehrke、Grigorieff与Pin的局部种类定理从有限词推广至无限词？
• RQ4 对偶性在统一处理不同类型语言及其代数识别器方面起到何种作用？
• RQ5 该框架能否扩展至有序或概率结构，如有序树代数或概率自动机？

主要发现

• 本文建立了一个通用的语言种类定理，统一了有限词、无限词、二叉树和代价函数的Eilenberg型对应关系。
• 证明了$\omega$-语言的新局部种类定理，将Gehrke、Grigorieff与Pin的工作从有限词推广至无限词。
• 该框架推广了Wilke与Pin关于$\infty$-语言的语言种类定理，以及Daviaud、Kuperberg与Pin关于代价函数种类定理的结果。
• 为有序树代数推导出一个正种类定理，其中不再要求对补集的封闭性，从而在正种类格与约化有序树代数的伪品种格之间建立同构。
• 结果涵盖了并推广了两种先前的范畴论方法：Bojańczyk的基于单子的识别方法，以及作者先前在有序范畴中代数的研究工作。
• 该框架被证明具有足够的鲁棒性，可处理有限与无限结构，并可通过对偶性适应有序与加权设置。