一种可由按类有限代数识别的非正则无穷树语言
形式语言与自动机理论
2023-06-22 v4
摘要
-克隆是作为无穷树代数自然产生的多类结构，正如 -半群是无穷词的便利代数一样。在语言的代数理论中，人们希望一种语言是正则的，当且仅当它被某种简单意义上有限的代数所识别。我们表明，对于无穷树，情况并非如此简单：存在一个 -克隆，它在每个类上都是有限的且是有限生成的，但却识别一种非正则语言。
关键词
引用
@article{arxiv.1804.06667,
title = {A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra},
author = {Mikołaj Bojańczyk and Bartek Klin},
journal= {arXiv preprint arXiv:1804.06667},
year = {2023}
}