[论文解读] Syntactic Monoids in a Category

Jiřı́ Adámek, Stefan Milius+1 more|arXiv (Cornell University)|Jan 1, 2015

semigroups and automata theory参考文献 2被引用 4

一句话总结

本文将经典的短语范畴单子概念推广至任意对称闭张量范畴 D，统一了诸如幺半群（集合）、半环（半格）和结合代数（向量空间）等短语代数。证明了语法 D-单子同构于最小自动机的转移 D-单子，并可作为自由 D-单子模去语法同余关系的商来构造。其主要贡献在于提出了一套范畴论框架，通过局部有限的种类中的有限语法 D-单子来刻画 D-正则语言。

ABSTRACT

The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category D. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the syntactic monoids of Rabin and Scott (D = sets), the syntactic semirings of Polak (D = semilattices), and the syntactic associative algebras of Reutenauer (D = vector spaces). Assuming that D is an entropic variety of algebras, we prove that the syntactic D-monoid of a language L can be constructed as a quotient of a free D-monoid modulo the syntactic congruence of L, and that it is isomorphic to the transition D-monoid of the minimal automaton for L in D. Furthermore, in case the variety D is locally finite, we characterize the regular languages as precisely the languages with finite syntactic D-monoids.

研究动机与目标

• 开发一个统一的范畴论框架，用于跨不同代数结构（如幺半群、半环和向量空间）的语法代数。
• 将经典的语法单子构造（通过自由单子模去语法同余关系，以及作为最小自动机的转移单子）推广至任意对称闭张量范畴 D。
• 在 D 为局部有限种类时，将 D-正则语言刻画为那些其语法 D-单子由有限呈现对象承载的语言。
• 利用局部有限种类中的对偶性，建立语法 D-单子的对偶刻画，将经典结果推广至范畴论设定。

提出的方法

• 将语言形式化为对称闭张量范畴 D 中的态射 L: X^f → Y，其中 X^f 是输入上的自由 D-单子。
• 将 D-自动机定义为配备初始状态、输出映射和转移态射的对象，其对偶化为 F-代数和 T-余代数。
• 将语法 D-单子定义为识别语言 L 的最小 X-生成 D-单子，通过将自由 D-单子模去 L 的语法同余关系来构造。
• 在 D 为交换种类的假设下，证明语法 D-单子同构于 L 的最小 D-自动机的转移 D-单子。
• 通过将 D-正则语言定义为由状态对象为有限呈现对象的 D-自动机接受的语言，将该理论应用于 D-正则语言。
• 利用局部有限种类中有限对象的对偶性，建立语法 D-单子的对偶刻画，表明其对应于由反转语言生成的局部语言种类。

实验结果

研究问题

• RQ1 经典的语法单子概念如何能推广至集合之外的任意代数结构？
• RQ2 能否在范畴论框架中统一语法单子的两种标准构造方式——即通过语法同余关系的商构造，以及通过最小自动机的转移单子构造？
• RQ3 在何种条件下，可保证语言为 D-正则语言当且仅当其语法 D-单子由有限呈现对象承载？
• RQ4 局部有限种类中的对偶性如何为语法 D-单子提供新的刻画？

主要发现

• 当 D 为交换种类时，语言 L 的语法 D-单子同构于其最小 D-自动机的转移 D-单子。
• 在相同假设下，语法 D-单子可作为自由 D-单子 X^f 模去 L 的语法同余关系的商来构造。
• 在局部有限种类 D 中，语言为 D-正则语言当且仅当其语法 D-单子由有限呈现对象承载。
• 当 D 为局部有限种类且存在对偶种类 C 时，语法 D-单子对偶化为由反转语言生成的局部语言种类。
• 函子 TQ = Y × [X, Q] 的最终余代数由语言对象 [X^f, Y] 给出，内化了 D 中所有语言的集合。
• 该理论恢复了已知构造：语法单子（D=集合）、语法半环（D=半格）和语法结合代数（D=向量空间），同时也导出了新类型，如含零元的幺半群（D=带点集合）和对合幺半群（D=对合代数）。