Matches in SemOpenAlex for { <https://semopenalex.org/work/W2907581921> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2907581921 abstract "There are various types of automata on infinite words, differing in their acceptance conditions. The most classic ones are weak, Bu ̈chi, co-Bu ̈chi, parity, Rabin, Streett, and Muller. This is opposed to the case of automata on finite words, in which there is only one standard type. The natural question is why—Why not a single type? Why these particular types? Shall we further look into additional types? For answering these questions, we clarify the succinctness of the different automata types and the size blowup involved in performing boolean operations on them. To this end, we show that unifying or intersecting deterministic automata of the classic ω-regular- complete types, namely parity, Rabin, Streett, and Muller, involves an exponential size blowup. We argue that there are good reasons for the classic types, mainly in the case of nondeterministic and alternating automata. They admit good size and complexity bounds with respect to succinctness, boolean operations, and decision procedures, and they are closely connected to various logics. Yet, we also argue that there is place for additional types, especially in the case of deterministic automata. In particular, generalized-Rabin, which was recently introduced, as well as a disjunction of Streett conditions, which we call hyper-Rabin, where the latter further generalizes the former, are interesting to consider. They may be exponentially more succinct than the classic types, they allow for union and intersection with only a quadratic size blowup, and their nonemptiness can be checked in polynomial time." @default.
- W2907581921 created "2019-01-11" @default.
- W2907581921 creator A5000415323 @default.
- W2907581921 date "2018-10-23" @default.
- W2907581921 modified "2023-09-25" @default.
- W2907581921 title "Why These Automata Types?" @default.
- W2907581921 cites W104640233 @default.
- W2907581921 cites W1516066014 @default.
- W2907581921 cites W1530375987 @default.
- W2907581921 cites W1549870311 @default.
- W2907581921 cites W1557881307 @default.
- W2907581921 cites W1564539225 @default.
- W2907581921 cites W1594196576 @default.
- W2907581921 cites W1640973035 @default.
- W2907581921 cites W1757466004 @default.
- W2907581921 cites W1924007886 @default.
- W2907581921 cites W1975657455 @default.
- W2907581921 cites W2059837071 @default.
- W2907581921 cites W2076284895 @default.
- W2907581921 cites W2106790957 @default.
- W2907581921 cites W2107209406 @default.
- W2907581921 cites W2138856440 @default.
- W2907581921 cites W2147021403 @default.
- W2907581921 cites W2170056432 @default.
- W2907581921 cites W2170685489 @default.
- W2907581921 cites W2758436194 @default.
- W2907581921 cites W2761060617 @default.
- W2907581921 cites W2762023231 @default.
- W2907581921 cites W2788732000 @default.
- W2907581921 cites W2798519469 @default.
- W2907581921 cites W325606627 @default.
- W2907581921 cites W986424706 @default.
- W2907581921 doi "https://doi.org/10.29007/c3bj" @default.
- W2907581921 hasPublicationYear "2018" @default.
- W2907581921 type Work @default.
- W2907581921 sameAs 2907581921 @default.
- W2907581921 citedByCount "3" @default.
- W2907581921 countsByYear W29075819212019 @default.
- W2907581921 countsByYear W29075819212020 @default.
- W2907581921 countsByYear W29075819212023 @default.
- W2907581921 crossrefType "proceedings-article" @default.
- W2907581921 hasAuthorship W2907581921A5000415323 @default.
- W2907581921 hasBestOaLocation W29075819211 @default.
- W2907581921 hasConcept C109214941 @default.
- W2907581921 hasConcept C112505250 @default.
- W2907581921 hasConcept C118615104 @default.
- W2907581921 hasConcept C121332964 @default.
- W2907581921 hasConcept C176181172 @default.
- W2907581921 hasConcept C18903297 @default.
- W2907581921 hasConcept C2776493592 @default.
- W2907581921 hasConcept C2777151079 @default.
- W2907581921 hasConcept C2777299769 @default.
- W2907581921 hasConcept C33923547 @default.
- W2907581921 hasConcept C41008148 @default.
- W2907581921 hasConcept C80444323 @default.
- W2907581921 hasConcept C86803240 @default.
- W2907581921 hasConceptScore W2907581921C109214941 @default.
- W2907581921 hasConceptScore W2907581921C112505250 @default.
- W2907581921 hasConceptScore W2907581921C118615104 @default.
- W2907581921 hasConceptScore W2907581921C121332964 @default.
- W2907581921 hasConceptScore W2907581921C176181172 @default.
- W2907581921 hasConceptScore W2907581921C18903297 @default.
- W2907581921 hasConceptScore W2907581921C2776493592 @default.
- W2907581921 hasConceptScore W2907581921C2777151079 @default.
- W2907581921 hasConceptScore W2907581921C2777299769 @default.
- W2907581921 hasConceptScore W2907581921C33923547 @default.
- W2907581921 hasConceptScore W2907581921C41008148 @default.
- W2907581921 hasConceptScore W2907581921C80444323 @default.
- W2907581921 hasConceptScore W2907581921C86803240 @default.
- W2907581921 hasLocation W29075819211 @default.
- W2907581921 hasOpenAccess W2907581921 @default.
- W2907581921 hasPrimaryLocation W29075819211 @default.
- W2907581921 hasRelatedWork W1551895525 @default.
- W2907581921 hasRelatedWork W1557881307 @default.
- W2907581921 hasRelatedWork W1851980922 @default.
- W2907581921 hasRelatedWork W2786964119 @default.
- W2907581921 hasRelatedWork W2907581921 @default.
- W2907581921 hasRelatedWork W3089596161 @default.
- W2907581921 hasRelatedWork W4226116646 @default.
- W2907581921 hasRelatedWork W4300590737 @default.
- W2907581921 hasRelatedWork W4315797393 @default.
- W2907581921 hasRelatedWork W2522784448 @default.
- W2907581921 isParatext "false" @default.
- W2907581921 isRetracted "false" @default.
- W2907581921 magId "2907581921" @default.
- W2907581921 workType "article" @default.