Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247132892> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2247132892 endingPage "38" @default.
- W2247132892 startingPage "1" @default.
- W2247132892 abstract "For a given regular language of infinite trees, one can ask about the minimal number of priorities needed to recognize this language with a nondeterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the nondeterministic, alternating, and weak Rabin-Mostowski index problems. Whether they can be answered effectively is a long-standing open problem, solved so far only for languages recognizable by deterministic automata (the alternating variant trivializes). We investigate a wider class of regular languages, recognizable by so-called game automata, which can be seen as the closure of deterministic ones under complementation and composition. Game automata are known to recognize languages arbitrarily high in the alternating Rabin-Mostowski index hierarchy; that is, the alternating index problem does not trivialize anymore. Our main contribution is that all three index problems are decidable for languages recognizable by game automata. Additionally, we show that it is decidable whether a given regular language can be recognized by a game automaton." @default.
- W2247132892 created "2016-06-24" @default.
- W2247132892 creator A5034206752 @default.
- W2247132892 creator A5037986297 @default.
- W2247132892 creator A5073562431 @default.
- W2247132892 date "2016-11-02" @default.
- W2247132892 modified "2023-10-14" @default.
- W2247132892 title "Index Problems for Game Automata" @default.
- W2247132892 cites W1504333451 @default.
- W2247132892 cites W1507455665 @default.
- W2247132892 cites W1525546443 @default.
- W2247132892 cites W1528015591 @default.
- W2247132892 cites W1539382740 @default.
- W2247132892 cites W1984317147 @default.
- W2247132892 cites W1992595180 @default.
- W2247132892 cites W2004345957 @default.
- W2247132892 cites W2062792526 @default.
- W2247132892 cites W2063200174 @default.
- W2247132892 cites W2074210660 @default.
- W2247132892 cites W2094912129 @default.
- W2247132892 cites W2095175072 @default.
- W2247132892 cites W2170933628 @default.
- W2247132892 cites W984805233 @default.
- W2247132892 cites W2160685099 @default.
- W2247132892 doi "https://doi.org/10.1145/2946800" @default.
- W2247132892 hasPublicationYear "2016" @default.
- W2247132892 type Work @default.
- W2247132892 sameAs 2247132892 @default.
- W2247132892 citedByCount "2" @default.
- W2247132892 countsByYear W22471328922018 @default.
- W2247132892 countsByYear W22471328922021 @default.
- W2247132892 crossrefType "journal-article" @default.
- W2247132892 hasAuthorship W2247132892A5034206752 @default.
- W2247132892 hasAuthorship W2247132892A5037986297 @default.
- W2247132892 hasAuthorship W2247132892A5073562431 @default.
- W2247132892 hasBestOaLocation W22471328922 @default.
- W2247132892 hasConcept C112505250 @default.
- W2247132892 hasConcept C116248031 @default.
- W2247132892 hasConcept C118615104 @default.
- W2247132892 hasConcept C146834321 @default.
- W2247132892 hasConcept C153269930 @default.
- W2247132892 hasConcept C158008952 @default.
- W2247132892 hasConcept C162324750 @default.
- W2247132892 hasConcept C165753454 @default.
- W2247132892 hasConcept C176181172 @default.
- W2247132892 hasConcept C194525867 @default.
- W2247132892 hasConcept C2778583254 @default.
- W2247132892 hasConcept C33923547 @default.
- W2247132892 hasConcept C34447519 @default.
- W2247132892 hasConcept C41008148 @default.
- W2247132892 hasConcept C52370388 @default.
- W2247132892 hasConcept C80444323 @default.
- W2247132892 hasConceptScore W2247132892C112505250 @default.
- W2247132892 hasConceptScore W2247132892C116248031 @default.
- W2247132892 hasConceptScore W2247132892C118615104 @default.
- W2247132892 hasConceptScore W2247132892C146834321 @default.
- W2247132892 hasConceptScore W2247132892C153269930 @default.
- W2247132892 hasConceptScore W2247132892C158008952 @default.
- W2247132892 hasConceptScore W2247132892C162324750 @default.
- W2247132892 hasConceptScore W2247132892C165753454 @default.
- W2247132892 hasConceptScore W2247132892C176181172 @default.
- W2247132892 hasConceptScore W2247132892C194525867 @default.
- W2247132892 hasConceptScore W2247132892C2778583254 @default.
- W2247132892 hasConceptScore W2247132892C33923547 @default.
- W2247132892 hasConceptScore W2247132892C34447519 @default.
- W2247132892 hasConceptScore W2247132892C41008148 @default.
- W2247132892 hasConceptScore W2247132892C52370388 @default.
- W2247132892 hasConceptScore W2247132892C80444323 @default.
- W2247132892 hasIssue "4" @default.
- W2247132892 hasLocation W22471328921 @default.
- W2247132892 hasLocation W22471328922 @default.
- W2247132892 hasLocation W22471328923 @default.
- W2247132892 hasOpenAccess W2247132892 @default.
- W2247132892 hasPrimaryLocation W22471328921 @default.
- W2247132892 hasRelatedWork W177787971 @default.
- W2247132892 hasRelatedWork W2101508170 @default.
- W2247132892 hasRelatedWork W2105877052 @default.
- W2247132892 hasRelatedWork W2247132892 @default.
- W2247132892 hasRelatedWork W2395891450 @default.
- W2247132892 hasRelatedWork W2739452352 @default.
- W2247132892 hasRelatedWork W2951329069 @default.
- W2247132892 hasRelatedWork W2963253063 @default.
- W2247132892 hasRelatedWork W3196038441 @default.
- W2247132892 hasRelatedWork W4302494004 @default.
- W2247132892 hasVolume "17" @default.
- W2247132892 isParatext "false" @default.
- W2247132892 isRetracted "false" @default.
- W2247132892 magId "2247132892" @default.
- W2247132892 workType "article" @default.