Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950666151> ?p ?o ?g. }
- W2950666151 endingPage "89" @default.
- W2950666151 startingPage "71" @default.
- W2950666151 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 non-deterministic, alternating, or weak alternating parity automaton. These questions are known as, respectively, the non-deterministic, 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 any more. 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.
- W2950666151 created "2019-06-27" @default.
- W2950666151 creator A5034206752 @default.
- W2950666151 creator A5037986297 @default.
- W2950666151 creator A5073562431 @default.
- W2950666151 date "2016-01-01" @default.
- W2950666151 modified "2023-09-24" @default.
- W2950666151 title "Index Problems for Game Automata" @default.
- W2950666151 cites W140996294 @default.
- W2950666151 cites W1507455665 @default.
- W2950666151 cites W1521217870 @default.
- W2950666151 cites W1539382740 @default.
- W2950666151 cites W1549866473 @default.
- W2950666151 cites W1598153029 @default.
- W2950666151 cites W1604678784 @default.
- W2950666151 cites W1640973035 @default.
- W2950666151 cites W1820503900 @default.
- W2950666151 cites W1929640513 @default.
- W2950666151 cites W1992595180 @default.
- W2950666151 cites W2004345957 @default.
- W2950666151 cites W2052839514 @default.
- W2950666151 cites W2062792526 @default.
- W2950666151 cites W2063200174 @default.
- W2950666151 cites W2074210660 @default.
- W2950666151 cites W2095175072 @default.
- W2950666151 cites W2126399192 @default.
- W2950666151 cites W2138856440 @default.
- W2950666151 cites W2162583406 @default.
- W2950666151 cites W2166247258 @default.
- W2950666151 cites W2170933628 @default.
- W2950666151 cites W2764080 @default.
- W2950666151 cites W2953134685 @default.
- W2950666151 cites W984805233 @default.
- W2950666151 doi "https://doi.org/10.1007/978-3-662-52947-8_5" @default.
- W2950666151 hasPublicationYear "2016" @default.
- W2950666151 type Work @default.
- W2950666151 sameAs 2950666151 @default.
- W2950666151 citedByCount "0" @default.
- W2950666151 crossrefType "book-chapter" @default.
- W2950666151 hasAuthorship W2950666151A5034206752 @default.
- W2950666151 hasAuthorship W2950666151A5037986297 @default.
- W2950666151 hasAuthorship W2950666151A5073562431 @default.
- W2950666151 hasBestOaLocation W29506661512 @default.
- W2950666151 hasConcept C112505250 @default.
- W2950666151 hasConcept C118615104 @default.
- W2950666151 hasConcept C146834321 @default.
- W2950666151 hasConcept C153269930 @default.
- W2950666151 hasConcept C162324750 @default.
- W2950666151 hasConcept C165753454 @default.
- W2950666151 hasConcept C194525867 @default.
- W2950666151 hasConcept C199360897 @default.
- W2950666151 hasConcept C2777382242 @default.
- W2950666151 hasConcept C2778583254 @default.
- W2950666151 hasConcept C33923547 @default.
- W2950666151 hasConcept C34447519 @default.
- W2950666151 hasConcept C41008148 @default.
- W2950666151 hasConcept C52370388 @default.
- W2950666151 hasConcept C80444323 @default.
- W2950666151 hasConceptScore W2950666151C112505250 @default.
- W2950666151 hasConceptScore W2950666151C118615104 @default.
- W2950666151 hasConceptScore W2950666151C146834321 @default.
- W2950666151 hasConceptScore W2950666151C153269930 @default.
- W2950666151 hasConceptScore W2950666151C162324750 @default.
- W2950666151 hasConceptScore W2950666151C165753454 @default.
- W2950666151 hasConceptScore W2950666151C194525867 @default.
- W2950666151 hasConceptScore W2950666151C199360897 @default.
- W2950666151 hasConceptScore W2950666151C2777382242 @default.
- W2950666151 hasConceptScore W2950666151C2778583254 @default.
- W2950666151 hasConceptScore W2950666151C33923547 @default.
- W2950666151 hasConceptScore W2950666151C34447519 @default.
- W2950666151 hasConceptScore W2950666151C41008148 @default.
- W2950666151 hasConceptScore W2950666151C52370388 @default.
- W2950666151 hasConceptScore W2950666151C80444323 @default.
- W2950666151 hasLocation W29506661511 @default.
- W2950666151 hasLocation W29506661512 @default.
- W2950666151 hasLocation W29506661513 @default.
- W2950666151 hasOpenAccess W2950666151 @default.
- W2950666151 hasPrimaryLocation W29506661511 @default.
- W2950666151 hasRelatedWork W1996527228 @default.
- W2950666151 hasRelatedWork W201022349 @default.
- W2950666151 hasRelatedWork W2020570874 @default.
- W2950666151 hasRelatedWork W2022155743 @default.
- W2950666151 hasRelatedWork W2035927058 @default.
- W2950666151 hasRelatedWork W2081320746 @default.
- W2950666151 hasRelatedWork W2126991662 @default.
- W2950666151 hasRelatedWork W2405329665 @default.
- W2950666151 hasRelatedWork W2558467429 @default.
- W2950666151 hasRelatedWork W2805816572 @default.
- W2950666151 hasRelatedWork W2949620484 @default.
- W2950666151 hasRelatedWork W2950731245 @default.
- W2950666151 hasRelatedWork W2951492900 @default.
- W2950666151 hasRelatedWork W2952653060 @default.
- W2950666151 hasRelatedWork W2963050987 @default.
- W2950666151 hasRelatedWork W3112127587 @default.
- W2950666151 hasRelatedWork W3166934376 @default.
- W2950666151 hasRelatedWork W3178428074 @default.
- W2950666151 hasRelatedWork W430776923 @default.
- W2950666151 hasRelatedWork W70562855 @default.