[论文解读] The Schützenberger product for syntactic spaces

Mai Gehrke, Daniela Petrişan+1 more|arXiv (Cornell University)|Mar 27, 2016

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

一句话总结

本文通过将带有内部幺半群的布尔空间定义为短语结构识别器，提出了一种形式语言在非正则性之外的对偶理论框架。它将Schützenberger积推广至这些空间，表明对于识别公式∃x.Φ(x)的识别器，其一元Schützenberger积能正确捕捉∃x.Φ(x)的模型语言，通过Stone对偶性和Vietoris构造，将经典结果推广至非正则情形。

ABSTRACT

Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite alphabets. This leads to a setting that is well-suited for applying existing tools from Stone duality as applied in semantics. The main focus of the paper is the development of topo-algebraic constructions pertinent to the treatment of languages given by logic formulas. In particular, using the standard semantic view of quantification as projection, we derive a notion of Schützenberger product for Boolean spaces with internal monoids. This makes heavy use of the Vietoris construction, and its dual functor, which is central to the coalgebraic treatment of classical modal logic. We show that the unary Schützenberger product for spaces, when applied to a recogniser for the language associated to a formula with a free first-order variable, yields a recogniser for the language of all models of the corresponding existentially quantified formula. Further, we generalise global and local versions of the theorems of Schützenberger and Reutenauer characterising the languages recognised by the binary Schützenberger product. Finally, we provide an equational characterisation of Boolean algebras obtained by local Schützenberger product with the one element space based on an Egli-Milner type condition on generalised factorisations of ultrafilters on words.

研究动机与目标

• 通过引入基于对偶性的短语结构识别器框架，将代数语言理论扩展至正则语言之外。
• 利用拓扑与代数工具，形式化一阶量词对语言识别的影响。
• 将Schützenberger积构造推广至带有内部幺半群的布尔空间，以处理非正则语言。
• 为形式语言理论中的逻辑量词提供拓扑-代数基础，实现等式刻画。
• 在单变量Schützenberger积的背景下，建立超滤子方程的完备性结果。

提出的方法

• 利用Stone对偶性，推导出任意有限字母表上的形式语言的带有内部幺半群的布尔空间作为识别器。
• 应用Vietoris函子及其对偶，将存在量词的语义建模为投影，从而实现单变量Schützenberger积的构造。
• 为离散幺半群M定义单变量Schützenberger积□M，证明当M识别LΦ时，(□M)能识别∃x.Φ(x)的语言。
• 将单变量积扩展至带有内部半群的布尔空间，证明(□X, □S)能识别(X,S)上语言的存性闭包。
• 为带有内部幺半群的布尔空间引入二元Schützenberger积，将其与语言的连接积联系起来。
• 利用超滤子方程和Stone-Čech紧化，推导出由单变量Schützenberger积生成的布尔代数的等式刻画。

实验结果

研究问题

• RQ1 在非正则情形下，如何将Schützenberger积从有限幺半群推广至带有内部幺半群的布尔空间？
• RQ2 形式语言理论中存在量词的拓扑-代数对应物是什么？它与Vietoris构造有何关联？
• RQ3 当应用于识别LΦ的识别器时，如何证明单变量Schützenberger积能正确识别∃x.Φ(x)的语言？
• RQ4 在布尔空间设定下，可否推导出由单变量与二元Schützenberger积识别的语言的刻画？
• RQ5 能否为由单变量Schützenberger积生成的布尔代数提供一个完整的等式公理化体系？

主要发现

• 当离散幺半群M识别LΦ时，其单变量Schützenberger积□M能正确识别所有∃x.Φ(x)的模型语言。
• 为带有内部半群(X,S)的布尔空间构造单变量Schützenberger积□(X,S)，可得(X,S)上语言的存性闭包的识别器，如定理4.13所形式化。
• 带有内部幺半群的布尔空间的二元Schützenberger积对应于语言的连接积，将Reutenauer定理推广至非正则情形。
• 通过超滤子方程，提供了布尔代数B □+ 2的等式刻画，定理6.3在Stone-Čech紧化上建立了完备性。
• 该框架实现了对识别器的对偶理论推广，表明带有内部幺半群的布尔空间与[8]中的结构等价，但更易于应用现有的Stone对偶工具。
• Vietoris函子及其对偶在通过投影建模量词语义方面起着核心作用，为逻辑量词提供了余代数基础。