中文

关于幺半群簇与 LI 的并的一个注记

形式语言与自动机理论 2021-08-31 v3

摘要

在本注记中,我们利用经典的代数-自动机理论技术,针对若干著名的有限幺半群簇 V\mathbf{V},给出 V\mathbf{V} 与有限局部平凡半群簇 LI\mathbf{LI} 的并在恒等式意义上的刻画。为此,我们运用 Grosshans、McKenzie 和 Segoufin 定义的本质-V\mathbf{V} 戳记这一新概念,并证明它确实与 V\mathbf{V}LI\mathbf{LI} 的并重合,当且仅当与 V\mathbf{V} 对应的语言簇上某个自然条件被满足。这项工作从相当不同的角度重新发现了 J. C. Costa 约 20 年前的工作,因为 Costa 的工作依赖于 profinite 拓扑中的高级进展,而此处所呈现的内容本质上使用了一种基于代数与语言的方法。

关键词

引用

@article{arxiv.2103.15659,
  title  = {A Note on the Join of Varieties of Monoids with LI},
  author = {Nathan Grosshans},
  journal= {arXiv preprint arXiv:2103.15659},
  year   = {2021}
}

备注

Version published in the proceedings of the MFCS 2021 conference