English

Wadge Degrees of Classes of omega-Regular k-Partitions

Combinatorics 2021-04-22 v1 Formal Languages and Automata Theory

Abstract

We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular k-partitions and provides tools for dealing with other similar questions. In particular, we characterize the structure of Wadge degrees of (aperiodic) omega-regular kk-partitions, prove the decidability of many related problems, and discuss their complexity.

Keywords

Cite

@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}
}