Classifying $$\omega $$-Regular Aperiodic k-Partitions

Autor: Victor L. Selivanov
Rok vydání: 2020
Předmět:
Zdroj: Descriptional Complexity of Formal Systems ISBN: 9783030625351
DCFS
DOI: 10.1007/978-3-030-62536-8_16
Popis: We develop a theory of \(\omega \)-regular aperiodic k-partitions (for arbitrary \(k\ge 2\)) that extends existing results for the \(\omega \)-regular k-partitions and for the fine hierarchy of regular aperiodic \(\omega \)-languages (which coincide with 2-partitions). In particular, we characterize the structure of Wadge degrees of \(\omega \)-regular aperiodic k-partitions, prove the decidability of many related problems, and discuss their complexity.
Databáze: OpenAIRE