FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095489261> ?p ?o ?g. }

• W2095489261 endingPage "26" @default.
• W2095489261 startingPage "1" @default.
• W2095489261 abstract "We solve the longstanding open problems of the blow-up involved in the translations, when possible, of a nondeterministic Büchi word automaton (NBW) to a nondeterministic co-Büchi word automaton (NCW) and to a deterministic co-Büchi word automaton (DCW). For the NBW to NCW translation, the currently known upper bound is 2 O(n log n) and the lower bound is 1.5 n . We improve the upper bound to n 2 n and describe a matching lower bound of 2 Ω(n) . For the NBW to DCW translation, the currently known upper bound is 2 O(n log n) . We improve it to 2 O(n) , which is asymptotically tight. Both of our upper-bound constructions are based on a simple subset construction, do not involve intermediate automata with richer acceptance conditions, and can be implemented symbolically. We continue and solve the open problems of translating nondeterministic Streett, Rabin, Muller, and parity word automata to NCW and to DCW. Going via an intermediate NBW is not optimal and we describe direct, simple, and asymptotically tight constructions, involving a 2 Θ(n) blow-up. The constructions are variants of the subset construction, providing a unified approach for translating all common classes of automata to NCW and DCW. Beyond the theoretical importance of the results, we point to numerous applications of the new constructions. In particular, they imply a simple subset-construction based translation, when possible, of LTL to deterministic Büchi word automata." @default.
• W2095489261 created "2016-06-24" @default.
• W2095489261 creator A5000415323 @default.
• W2095489261 creator A5077429082 @default.
• W2095489261 date "2012-10-01" @default.
• W2095489261 modified "2023-09-26" @default.
• W2095489261 title "Translating to Co-Büchi Made Tight, Unified, and Useful" @default.
• W2095489261 cites W117768600 @default.
• W2095489261 cites W1517638774 @default.
• W2095489261 cites W1536608616 @default.
• W2095489261 cites W1548816955 @default.
• W2095489261 cites W1560050980 @default.
• W2095489261 cites W1564539225 @default.
• W2095489261 cites W1594196576 @default.
• W2095489261 cites W1964626357 @default.
• W2095489261 cites W1968616712 @default.
• W2095489261 cites W1990609140 @default.
• W2095489261 cites W2016206563 @default.
• W2095489261 cites W2020617153 @default.
• W2095489261 cites W2031592188 @default.
• W2095489261 cites W2033071128 @default.
• W2095489261 cites W2037846247 @default.
• W2095489261 cites W2050073538 @default.
• W2095489261 cites W2059045337 @default.
• W2095489261 cites W2076284895 @default.
• W2095489261 cites W2086440639 @default.
• W2095489261 cites W2091750535 @default.
• W2095489261 cites W2094912129 @default.
• W2095489261 cites W2140847885 @default.
• W2095489261 cites W2150447589 @default.
• W2095489261 cites W2163151383 @default.
• W2095489261 cites W2165726630 @default.
• W2095489261 cites W2296719505 @default.
• W2095489261 cites W3023554972 @default.
• W2095489261 cites W4250884204 @default.
• W2095489261 doi "https://doi.org/10.1145/2362355.2362357" @default.
• W2095489261 hasPublicationYear "2012" @default.
• W2095489261 type Work @default.
• W2095489261 sameAs 2095489261 @default.
• W2095489261 citedByCount "2" @default.
• W2095489261 countsByYear W20954892612019 @default.
• W2095489261 countsByYear W20954892612020 @default.
• W2095489261 crossrefType "journal-article" @default.
• W2095489261 hasAuthorship W2095489261A5000415323 @default.
• W2095489261 hasAuthorship W2095489261A5077429082 @default.
• W2095489261 hasConcept C104091681 @default.
• W2095489261 hasConcept C104317684 @default.
• W2095489261 hasConcept C105580179 @default.
• W2095489261 hasConcept C111472728 @default.
• W2095489261 hasConcept C112505250 @default.
• W2095489261 hasConcept C114614502 @default.
• W2095489261 hasConcept C116248031 @default.
• W2095489261 hasConcept C118615104 @default.
• W2095489261 hasConcept C134306372 @default.
• W2095489261 hasConcept C138885662 @default.
• W2095489261 hasConcept C149364088 @default.
• W2095489261 hasConcept C158008952 @default.
• W2095489261 hasConcept C176181172 @default.
• W2095489261 hasConcept C185592680 @default.
• W2095489261 hasConcept C2524010 @default.
• W2095489261 hasConcept C2780586882 @default.
• W2095489261 hasConcept C33923547 @default.
• W2095489261 hasConcept C41008148 @default.
• W2095489261 hasConcept C55493867 @default.
• W2095489261 hasConcept C77553402 @default.
• W2095489261 hasConcept C80444323 @default.
• W2095489261 hasConcept C90805587 @default.
• W2095489261 hasConceptScore W2095489261C104091681 @default.
• W2095489261 hasConceptScore W2095489261C104317684 @default.
• W2095489261 hasConceptScore W2095489261C105580179 @default.
• W2095489261 hasConceptScore W2095489261C111472728 @default.
• W2095489261 hasConceptScore W2095489261C112505250 @default.
• W2095489261 hasConceptScore W2095489261C114614502 @default.
• W2095489261 hasConceptScore W2095489261C116248031 @default.
• W2095489261 hasConceptScore W2095489261C118615104 @default.
• W2095489261 hasConceptScore W2095489261C134306372 @default.
• W2095489261 hasConceptScore W2095489261C138885662 @default.
• W2095489261 hasConceptScore W2095489261C149364088 @default.
• W2095489261 hasConceptScore W2095489261C158008952 @default.
• W2095489261 hasConceptScore W2095489261C176181172 @default.
• W2095489261 hasConceptScore W2095489261C185592680 @default.
• W2095489261 hasConceptScore W2095489261C2524010 @default.
• W2095489261 hasConceptScore W2095489261C2780586882 @default.
• W2095489261 hasConceptScore W2095489261C33923547 @default.
• W2095489261 hasConceptScore W2095489261C41008148 @default.
• W2095489261 hasConceptScore W2095489261C55493867 @default.
• W2095489261 hasConceptScore W2095489261C77553402 @default.
• W2095489261 hasConceptScore W2095489261C80444323 @default.
• W2095489261 hasConceptScore W2095489261C90805587 @default.
• W2095489261 hasIssue "4" @default.
• W2095489261 hasLocation W20954892611 @default.
• W2095489261 hasOpenAccess W2095489261 @default.
• W2095489261 hasPrimaryLocation W20954892611 @default.
• W2095489261 hasRelatedWork W1490764140 @default.
• W2095489261 hasRelatedWork W1565877235 @default.
• W2095489261 hasRelatedWork W1851980922 @default.
• W2095489261 hasRelatedWork W1945859206 @default.
• W2095489261 hasRelatedWork W1981823970 @default.

• next