|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 7 van 16 gevonden artikelen
| Titel: |
Complexity of Topological Properties of Regular ω-Languages |
| Auteur: |
Selivanov, Victor L. Wagner, Klaus W. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 83 (2008) nr. 1-2 pagina's 197-217 |
| Jaar: |
2008-05-27 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 7 van 16 gevonden artikelen
| << vorige | volgende >> |