Matches in SemOpenAlex for { <https://semopenalex.org/work/W2519230465> ?p ?o ?g. }
- W2519230465 endingPage "192" @default.
- W2519230465 startingPage "177" @default.
- W2519230465 abstract "Partially ordered nondeterminsitic finite automata (poNFAs) are NFAs whose transition relation induces a partial order on states, that is, for which cycles occur only in the form of self-loops on a single state. A poNFA is universal if it accepts all words over its input alphabet. Deciding universality is PSPACE-complete for poNFAs, and we show that this remains true even when restricting to a fixed alphabet. This is nontrivial since standard encodings of alphabet symbols in, e.g., binary can turn self-loops into longer cycles. A lower coNP-complete complexity bound can be obtained if we require that all self-loops in the poNFA are deterministic, in the sense that the symbol read in the loop cannot occur in any other transition from that state. We find that such restricted poNFAs (rpoNFAs) characterise the class of $mathcal{R}$-trivial languages, and we establish the complexity of deciding if the language of an NFA is $mathcal{R}$-trivial. Nevertheless, the limitation to fixed alphabets turns out to be essential even in the restricted case: deciding universality of rpoNFAs with unbounded alphabets is PSPACE-complete. Based on a close relation between universality and the problems of inclusion and equivalence, we also obtain the complexity results for these two problems. Finaly, we show that the languages of rpoNFAs are definable by deterministic (one-unambiguous) regular expressions, which makes them interesting in schema languages for XML data." @default.
- W2519230465 created "2016-09-23" @default.
- W2519230465 creator A5006279709 @default.
- W2519230465 creator A5011677564 @default.
- W2519230465 creator A5087579719 @default.
- W2519230465 date "2017-08-01" @default.
- W2519230465 modified "2023-10-14" @default.
- W2519230465 title "Complexity of universality and related problems for partially ordered NFAs" @default.
- W2519230465 cites W1596849174 @default.
- W2519230465 cites W1989887898 @default.
- W2519230465 cites W2000290048 @default.
- W2519230465 cites W2002922589 @default.
- W2519230465 cites W2019522567 @default.
- W2519230465 cites W2039934838 @default.
- W2519230465 cites W2057841333 @default.
- W2519230465 cites W2063288032 @default.
- W2519230465 cites W2064373707 @default.
- W2519230465 cites W2065599266 @default.
- W2519230465 cites W2076872551 @default.
- W2519230465 cites W2078050093 @default.
- W2519230465 cites W2078174437 @default.
- W2519230465 cites W2079162006 @default.
- W2519230465 cites W2090236154 @default.
- W2519230465 cites W2094423121 @default.
- W2519230465 cites W2134781086 @default.
- W2519230465 cites W2153286631 @default.
- W2519230465 cites W2158405910 @default.
- W2519230465 cites W2568259530 @default.
- W2519230465 cites W2582563599 @default.
- W2519230465 doi "https://doi.org/10.1016/j.ic.2017.06.004" @default.
- W2519230465 hasPublicationYear "2017" @default.
- W2519230465 type Work @default.
- W2519230465 sameAs 2519230465 @default.
- W2519230465 citedByCount "21" @default.
- W2519230465 countsByYear W25192304652017 @default.
- W2519230465 countsByYear W25192304652018 @default.
- W2519230465 countsByYear W25192304652019 @default.
- W2519230465 countsByYear W25192304652020 @default.
- W2519230465 countsByYear W25192304652021 @default.
- W2519230465 countsByYear W25192304652022 @default.
- W2519230465 crossrefType "journal-article" @default.
- W2519230465 hasAuthorship W2519230465A5006279709 @default.
- W2519230465 hasAuthorship W2519230465A5011677564 @default.
- W2519230465 hasAuthorship W2519230465A5087579719 @default.
- W2519230465 hasBestOaLocation W25192304651 @default.
- W2519230465 hasConcept C112505250 @default.
- W2519230465 hasConcept C112876837 @default.
- W2519230465 hasConcept C11413529 @default.
- W2519230465 hasConcept C114614502 @default.
- W2519230465 hasConcept C118615104 @default.
- W2519230465 hasConcept C121332964 @default.
- W2519230465 hasConcept C138885662 @default.
- W2519230465 hasConcept C179799912 @default.
- W2519230465 hasConcept C183992945 @default.
- W2519230465 hasConcept C197685441 @default.
- W2519230465 hasConcept C311688 @default.
- W2519230465 hasConcept C33923547 @default.
- W2519230465 hasConcept C39637292 @default.
- W2519230465 hasConcept C41008148 @default.
- W2519230465 hasConcept C41895202 @default.
- W2519230465 hasConcept C52370388 @default.
- W2519230465 hasConcept C62520636 @default.
- W2519230465 hasConcept C80444323 @default.
- W2519230465 hasConceptScore W2519230465C112505250 @default.
- W2519230465 hasConceptScore W2519230465C112876837 @default.
- W2519230465 hasConceptScore W2519230465C11413529 @default.
- W2519230465 hasConceptScore W2519230465C114614502 @default.
- W2519230465 hasConceptScore W2519230465C118615104 @default.
- W2519230465 hasConceptScore W2519230465C121332964 @default.
- W2519230465 hasConceptScore W2519230465C138885662 @default.
- W2519230465 hasConceptScore W2519230465C179799912 @default.
- W2519230465 hasConceptScore W2519230465C183992945 @default.
- W2519230465 hasConceptScore W2519230465C197685441 @default.
- W2519230465 hasConceptScore W2519230465C311688 @default.
- W2519230465 hasConceptScore W2519230465C33923547 @default.
- W2519230465 hasConceptScore W2519230465C39637292 @default.
- W2519230465 hasConceptScore W2519230465C41008148 @default.
- W2519230465 hasConceptScore W2519230465C41895202 @default.
- W2519230465 hasConceptScore W2519230465C52370388 @default.
- W2519230465 hasConceptScore W2519230465C62520636 @default.
- W2519230465 hasConceptScore W2519230465C80444323 @default.
- W2519230465 hasLocation W25192304651 @default.
- W2519230465 hasLocation W25192304652 @default.
- W2519230465 hasLocation W25192304653 @default.
- W2519230465 hasLocation W25192304654 @default.
- W2519230465 hasLocation W25192304655 @default.
- W2519230465 hasLocation W25192304656 @default.
- W2519230465 hasLocation W25192304657 @default.
- W2519230465 hasOpenAccess W2519230465 @default.
- W2519230465 hasPrimaryLocation W25192304651 @default.
- W2519230465 hasRelatedWork W1504200807 @default.
- W2519230465 hasRelatedWork W1832296079 @default.
- W2519230465 hasRelatedWork W2004966370 @default.
- W2519230465 hasRelatedWork W2007014039 @default.
- W2519230465 hasRelatedWork W2075449032 @default.
- W2519230465 hasRelatedWork W2111824166 @default.
- W2519230465 hasRelatedWork W2161147766 @default.
- W2519230465 hasRelatedWork W2169625092 @default.