Matches in SemOpenAlex for { <https://semopenalex.org/work/W2778312178> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2778312178 abstract "An automaton is partially ordered if the only cycles in its transition diagram are self-loops. We study the universality problem for ptNFAs, a class of partially ordered NFAs recognizing piecewise testable languages. The universality problem asks if an automaton accepts all words over its alphabet. Deciding universality for both NFAs and partially ordered NFAs is PSpace-complete. For ptNFAs, the complexity drops to coNP-complete if the alphabet is fixed but is open if the alphabet may grow. We show, using a novel and nontrivial construction, that the problem is PSpace-complete if the alphabet may grow polynomially." @default.
- W2778312178 created "2018-01-05" @default.
- W2778312178 creator A5006279709 @default.
- W2778312178 creator A5087579719 @default.
- W2778312178 date "2017-12-22" @default.
- W2778312178 modified "2023-10-18" @default.
- W2778312178 title "Deciding Universality of ptNFAs is PSpace-Complete" @default.
- W2778312178 cites W1521674074 @default.
- W2778312178 cites W1533338086 @default.
- W2778312178 cites W1596849174 @default.
- W2778312178 cites W1662195770 @default.
- W2778312178 cites W1849255017 @default.
- W2778312178 cites W185028744 @default.
- W2778312178 cites W1965525337 @default.
- W2778312178 cites W197394137 @default.
- W2778312178 cites W1974587788 @default.
- W2778312178 cites W1989887898 @default.
- W2778312178 cites W1998084650 @default.
- W2778312178 cites W2007464118 @default.
- W2778312178 cites W2031469331 @default.
- W2778312178 cites W2063288032 @default.
- W2778312178 cites W2065930159 @default.
- W2778312178 cites W2090236154 @default.
- W2778312178 cites W2094423121 @default.
- W2778312178 cites W2105643714 @default.
- W2778312178 cites W2124287344 @default.
- W2778312178 cites W2134409166 @default.
- W2778312178 cites W2153286631 @default.
- W2778312178 cites W2158405910 @default.
- W2778312178 cites W2267611784 @default.
- W2778312178 cites W2285315733 @default.
- W2778312178 cites W2519230465 @default.
- W2778312178 cites W2582563599 @default.
- W2778312178 cites W4300097689 @default.
- W2778312178 doi "https://doi.org/10.1007/978-3-319-73117-9_29" @default.
- W2778312178 hasPublicationYear "2017" @default.
- W2778312178 type Work @default.
- W2778312178 sameAs 2778312178 @default.
- W2778312178 citedByCount "1" @default.
- W2778312178 countsByYear W27783121782019 @default.
- W2778312178 crossrefType "book-chapter" @default.
- W2778312178 hasAuthorship W2778312178A5006279709 @default.
- W2778312178 hasAuthorship W2778312178A5087579719 @default.
- W2778312178 hasConcept C112505250 @default.
- W2778312178 hasConcept C112876837 @default.
- W2778312178 hasConcept C11413529 @default.
- W2778312178 hasConcept C114614502 @default.
- W2778312178 hasConcept C118615104 @default.
- W2778312178 hasConcept C121332964 @default.
- W2778312178 hasConcept C138885662 @default.
- W2778312178 hasConcept C179799912 @default.
- W2778312178 hasConcept C183992945 @default.
- W2778312178 hasConcept C197685441 @default.
- W2778312178 hasConcept C33923547 @default.
- W2778312178 hasConcept C41008148 @default.
- W2778312178 hasConcept C41895202 @default.
- W2778312178 hasConcept C62520636 @default.
- W2778312178 hasConcept C80444323 @default.
- W2778312178 hasConceptScore W2778312178C112505250 @default.
- W2778312178 hasConceptScore W2778312178C112876837 @default.
- W2778312178 hasConceptScore W2778312178C11413529 @default.
- W2778312178 hasConceptScore W2778312178C114614502 @default.
- W2778312178 hasConceptScore W2778312178C118615104 @default.
- W2778312178 hasConceptScore W2778312178C121332964 @default.
- W2778312178 hasConceptScore W2778312178C138885662 @default.
- W2778312178 hasConceptScore W2778312178C179799912 @default.
- W2778312178 hasConceptScore W2778312178C183992945 @default.
- W2778312178 hasConceptScore W2778312178C197685441 @default.
- W2778312178 hasConceptScore W2778312178C33923547 @default.
- W2778312178 hasConceptScore W2778312178C41008148 @default.
- W2778312178 hasConceptScore W2778312178C41895202 @default.
- W2778312178 hasConceptScore W2778312178C62520636 @default.
- W2778312178 hasConceptScore W2778312178C80444323 @default.
- W2778312178 hasLocation W27783121781 @default.
- W2778312178 hasOpenAccess W2778312178 @default.
- W2778312178 hasPrimaryLocation W27783121781 @default.
- W2778312178 hasRelatedWork W124253806 @default.
- W2778312178 hasRelatedWork W129681412 @default.
- W2778312178 hasRelatedWork W1596663438 @default.
- W2778312178 hasRelatedWork W2022386943 @default.
- W2778312178 hasRelatedWork W2036528253 @default.
- W2778312178 hasRelatedWork W2468044850 @default.
- W2778312178 hasRelatedWork W2570335695 @default.
- W2778312178 hasRelatedWork W2608522376 @default.
- W2778312178 hasRelatedWork W2617501072 @default.
- W2778312178 hasRelatedWork W2893448252 @default.
- W2778312178 hasRelatedWork W29384094 @default.
- W2778312178 hasRelatedWork W2941439348 @default.
- W2778312178 hasRelatedWork W2948212184 @default.
- W2778312178 hasRelatedWork W2963068996 @default.
- W2778312178 hasRelatedWork W3164238977 @default.
- W2778312178 hasRelatedWork W3172715206 @default.
- W2778312178 hasRelatedWork W3191074147 @default.
- W2778312178 hasRelatedWork W3191453679 @default.
- W2778312178 hasRelatedWork W3193754789 @default.
- W2778312178 hasRelatedWork W40607377 @default.
- W2778312178 isParatext "false" @default.
- W2778312178 isRetracted "false" @default.
- W2778312178 magId "2778312178" @default.
- W2778312178 workType "book-chapter" @default.