[论文解读] Some Combinatorial Operators in Language Theory

Jean-Gabriel Luque, Ludovic Mignot+1 more|arXiv (Cornell University)|May 15, 2012

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

一句话总结

本文提出了一种范畴化框架，用于研究形式语言理论中的多波浪号算子，为其复合与语言上的作用提供了代数基础。通过将多波浪号建模为自由范畴的元素，作者建立了其与布尔向量、偏序关系及组合结构的联系，实现了非等价算子的计数，并通过算子作用提出了一种有限语言与正则语言的新表示方法。

ABSTRACT

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of operad. This leads to a combinatorial description of already known results as well as new results on compositions, actions and enumerations.

研究动机与目标

• 为正则表达式理论中使用的多波浪号算子提供一种代数的、范畴化的表征。
• 使用范畴理论的形式化多波浪号算子在语言上的复合与作用。
• 通过偏序集与关系建立非等价多波浪号算子的组合计数。
• 将框架扩展以包含星号运算，并通过算子作用在字母元组上表示正则语言。
• 为使用范畴构建形式语言理论的新组合方法奠定基础。

提出的方法

• 将多波浪号算子建模为自由范畴的元素，利用部分复合运算编码其代数结构。
• 引入布尔向量范畴，通过特征函数描述多波浪号对语言的作用。
• 从多波浪号范畴构造商范畴，以建模算子作用的等价性。
• 定义基于偏序集的范畴（POSet），形式化多波浪号作用的等价性，并确保表示的唯一性。
• 利用自由列表与前缀闭包的结构，分析多波浪号对 k 元语言的算子作用。
• 将范畴扩展以包含星号算子，将其作用定义为 Kleene 星，并对恒等式 $\star \circ \star \equiv \star$ 取商。

实验结果

研究问题

• RQ1 如何使用范畴理论代数地形式化多波浪号算子的复合？
• RQ2 多波浪号算子对语言的作用是什么，如何通过布尔向量编码？
• RQ3 何时可认为两个多波浪号算子等价，何种组合结构可捕捉这种等价性？
• RQ4 是否可以对非等价多波浪号算子的数量进行计数，其背后的组合结构是什么？
• RQ5 如何将正则语言表示为扩展的多波浪号算子在字母元组上的作用？

主要发现

• 多波浪号算子构成一个自由范畴，使得其复合与代数性质可系统研究。
• 多波浪号对语言的作用同构于布尔向量范畴的作用，提供了线性代数的解释。
• 基于偏序集的范畴 POSet≤ 提供了多波浪号作用的完整且最优的表示，可区分所有非等价算子。
• 两个多波浪号在所有 k 元语言上的作用相同，当且仅当它们在 POSet≤ 结构下等价。
• 在 k 个语言上非等价多波浪号算子的数量等于 POSet≤ 中不同偏序集的数量，从而实现完全计数。
• 每个正则语言均可表示为商范畴 $T^\star$ 中某个元素对 k 个字母元组的作用，其中星号算子满足 $\star \circ \star \equiv \star$。