Wadge 层级低层中的正则树语言
形式语言与自动机理论
2023-06-22 v4
摘要
本文给出了属于 Wadge 层级低层的正则无限树语言的有效刻画。更准确地说，我们证明了该层级每个有限层的可判定性；对于开集的布尔组合类 （即前 层的并）；以及 Borel 类 （即前 层的并）的可判定性。
引用
@article{arxiv.1806.02041,
title = {Regular tree languages in low levels of the Wadge Hierarchy},
author = {Mikołaj Bojańczyk and Filippo Cavallari and Thomas Place and Michał Skrzypczak},
journal= {arXiv preprint arXiv:1806.02041},
year = {2023}
}