可由逐排序有限代数识别的无穷树的非规则语言
摘要：无序无数的结构自然地成为无限树代数结构，就像无限单词的方便代数结构是ω-半群一样。在语言的代数理论中，人们希望一个语言只有当它可以被某种简单方式有限地识别的代数所识别时，它才是正则的。我们表明，对于无限树来说，情况并不简单：存在一个在每一情况下都是有限且生成的ω-克隆，但它识别的语言是非正则的。
作者：Miko{l}aj Boja''nczyk, Bartek Klin
论文ID：1804.06667
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22