ω-正则 k-划分类的 Wadge 度
组合数学
2021-04-22 v1 形式语言与自动机理论
摘要
我们发展了由有限自动机类识别的无穷词集的 k-划分理论。该理论能够补全关于（非周期）ω-正则 k-划分的拓扑分类的现有结果的证明，并提供处理其他类似问题的工具。特别地，我们刻画了（非周期）ω-正则 -划分的 Wadge 度结构，证明了许多相关问题的可判定性，并讨论了它们的复杂度。
引用
@article{arxiv.2104.10358,
title = {Wadge Degrees of Classes of omega-Regular k-Partitions},
author = {Victor Selivanov},
journal= {arXiv preprint arXiv:2104.10358},
year = {2021}
}