We determine the complexity of topological properties (i.e., properties closed under the Wadge equivalence) of regular ω-languages by showing that they are typically NL-complete (PSPACE-complete) for the deterministic Muller, Mostowski and Büchi automata (respectively, for the nondeterministic Rabin, Muller, Mostowski and Büchi automata). For the deterministic Rabin and Streett automata and for the nondeterministic Streett automata upper and lower complexity bounds for the topological properties are established.
Original languageEnglish
Pages (from-to)197-217
Number of pages21
JournalFundamenta Informaticae
Volume83
Issue number1-2
StatePublished - 4 Aug 2008

ID: 127087902