本地性与中心性：多样化的ZG
摘要：ZG的研究是关于具有群元素为中心的幺半群的种类。我们证明了ZG是本地的，即ZG与确定性半群的半直积ZG * D等于LZG，其中所有本地幺半群都属于ZG的幺半群种类。因此，我们的主要结果是：ZG * D = LZG。我们使用Straubing的延迟定理来证明这个结果，通过在自幂对象范畴中考虑路径。在此过程中，我们获得了ZG = MNil vee Com的特征，并且对ZG语言进行了特征化，即其语法幺半群属于ZG的语言：它们恰好是由不交换的单例语言和正则交换语言的有限并集组成的语言。
作者：Antoine Amarilli, Charles Paperman
论文ID：2102.07724
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-18