Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059837071> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2059837071 endingPage "268" @default.
- W2059837071 startingPage "243" @default.
- W2059837071 abstract "Using the concept of progress measure, we give a new proof of Rabin's fundamental result that the languages defined by tree automata are closed under complementation. To do this we show that for certain infinite games based on tree automata, an immediate determinacy property holds for the player who is trying to win according to a Rabin acceptance condition. Immediate determinancy is stronger than the forgetful determinacy of Gurevich and Harrington, which depends on more information about the past, but applies to another class of games. Next, we show a graph theoretic duality theorem for winning conditions. Finally, we present an extended version of Safra's determinization construction. Together, these ingredients and the determinacy of Borel games yield a straightforward recipe for complementing tree automata. Our construction is almost optimal, i.e. the state space blow-up is essentially exponential- thus roughly the same as for automata on finite or infinite words. To our knowledge, no prior constructions have been better than double exponential." @default.
- W2059837071 created "2016-06-24" @default.
- W2059837071 creator A5083488023 @default.
- W2059837071 date "1994-10-01" @default.
- W2059837071 modified "2023-10-16" @default.
- W2059837071 title "Progress measures, immediate determinacy, and a subset construction for tree automata" @default.
- W2059837071 cites W1969912861 @default.
- W2059837071 cites W1970999740 @default.
- W2059837071 cites W1976773489 @default.
- W2059837071 cites W1996207810 @default.
- W2059837071 cites W2039131029 @default.
- W2059837071 cites W2054801208 @default.
- W2059837071 cites W2094912129 @default.
- W2059837071 cites W2115035605 @default.
- W2059837071 cites W2118519493 @default.
- W2059837071 cites W2170933628 @default.
- W2059837071 cites W4248784701 @default.
- W2059837071 doi "https://doi.org/10.1016/0168-0072(94)90086-8" @default.
- W2059837071 hasPublicationYear "1994" @default.
- W2059837071 type Work @default.
- W2059837071 sameAs 2059837071 @default.
- W2059837071 citedByCount "39" @default.
- W2059837071 countsByYear W20598370712013 @default.
- W2059837071 countsByYear W20598370712014 @default.
- W2059837071 countsByYear W20598370712015 @default.
- W2059837071 countsByYear W20598370712016 @default.
- W2059837071 countsByYear W20598370712017 @default.
- W2059837071 countsByYear W20598370712018 @default.
- W2059837071 countsByYear W20598370712020 @default.
- W2059837071 countsByYear W20598370712021 @default.
- W2059837071 countsByYear W20598370712022 @default.
- W2059837071 crossrefType "journal-article" @default.
- W2059837071 hasAuthorship W2059837071A5083488023 @default.
- W2059837071 hasConcept C112505250 @default.
- W2059837071 hasConcept C113174947 @default.
- W2059837071 hasConcept C114614502 @default.
- W2059837071 hasConcept C118615104 @default.
- W2059837071 hasConcept C134306372 @default.
- W2059837071 hasConcept C154945302 @default.
- W2059837071 hasConcept C2777212361 @default.
- W2059837071 hasConcept C33923547 @default.
- W2059837071 hasConcept C41008148 @default.
- W2059837071 hasConcept C58468513 @default.
- W2059837071 hasConcept C80444323 @default.
- W2059837071 hasConceptScore W2059837071C112505250 @default.
- W2059837071 hasConceptScore W2059837071C113174947 @default.
- W2059837071 hasConceptScore W2059837071C114614502 @default.
- W2059837071 hasConceptScore W2059837071C118615104 @default.
- W2059837071 hasConceptScore W2059837071C134306372 @default.
- W2059837071 hasConceptScore W2059837071C154945302 @default.
- W2059837071 hasConceptScore W2059837071C2777212361 @default.
- W2059837071 hasConceptScore W2059837071C33923547 @default.
- W2059837071 hasConceptScore W2059837071C41008148 @default.
- W2059837071 hasConceptScore W2059837071C58468513 @default.
- W2059837071 hasConceptScore W2059837071C80444323 @default.
- W2059837071 hasIssue "2-3" @default.
- W2059837071 hasLocation W20598370711 @default.
- W2059837071 hasOpenAccess W2059837071 @default.
- W2059837071 hasPrimaryLocation W20598370711 @default.
- W2059837071 hasRelatedWork W1684681859 @default.
- W2059837071 hasRelatedWork W1742631447 @default.
- W2059837071 hasRelatedWork W1968847402 @default.
- W2059837071 hasRelatedWork W2024091458 @default.
- W2059837071 hasRelatedWork W2052395110 @default.
- W2059837071 hasRelatedWork W2059837071 @default.
- W2059837071 hasRelatedWork W2136891613 @default.
- W2059837071 hasRelatedWork W2142458264 @default.
- W2059837071 hasRelatedWork W2535076018 @default.
- W2059837071 hasRelatedWork W2954144948 @default.
- W2059837071 hasVolume "69" @default.
- W2059837071 isParatext "false" @default.
- W2059837071 isRetracted "false" @default.
- W2059837071 magId "2059837071" @default.
- W2059837071 workType "article" @default.