Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381855984> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4381855984 endingPage "133" @default.
- W4381855984 startingPage "121" @default.
- W4381855984 abstract "Exclusive nondeterministic finite automata ( $$text {XNFA}$$ ) are nondeterministic finite automata with an exclusive-or-like acceptance condition. An input is accepted if there is exactly one accepting path in its computation tree. If there are none or more than one accepting paths, the input is rejected. It turns out that, from a descriptional complexity point of view, $$text {XNFA}$$ s differ significantly from the known types of finite automata. In particular the state costs for the simulation of an $$text {XNFA}$$ by a $$text {DFA}$$ are $$3^n-2^n+1$$ states, while the costs for simulating an $$text {XNFA}$$ by an $$text {NFA}$$ are $$ncdot 2^{n-1}$$ states. Both bounds are also shown to be tight. On the other hand, $$text {NFA}$$ s may have advantages in comparison to $$text {XNFA}$$ s. A tight bound is given by $$2^n-1$$ states for the simulation by $$text {XNFA}$$ s. Finally, we investigate the computational complexity of different decision problems for $$text {XNFA}$$ s and it turns out that emptiness, universality, inclusion, and equivalence are PSPACE-complete." @default.
- W4381855984 created "2023-06-25" @default.
- W4381855984 creator A5026803820 @default.
- W4381855984 creator A5083635884 @default.
- W4381855984 creator A5083650443 @default.
- W4381855984 date "2023-01-01" @default.
- W4381855984 modified "2023-09-27" @default.
- W4381855984 title "Complexity of Exclusive Nondeterministic Finite Automata" @default.
- W4381855984 cites W110214102 @default.
- W4381855984 cites W1972814610 @default.
- W4381855984 cites W1987205876 @default.
- W4381855984 cites W1989887898 @default.
- W4381855984 cites W2000290048 @default.
- W4381855984 cites W2008342226 @default.
- W4381855984 cites W2029980187 @default.
- W4381855984 cites W2034243894 @default.
- W4381855984 cites W2040834199 @default.
- W4381855984 cites W2054801208 @default.
- W4381855984 cites W2063230375 @default.
- W4381855984 cites W2079577017 @default.
- W4381855984 cites W2080108335 @default.
- W4381855984 cites W2088578754 @default.
- W4381855984 cites W2090921231 @default.
- W4381855984 cites W2093294649 @default.
- W4381855984 cites W2149288970 @default.
- W4381855984 cites W4241108585 @default.
- W4381855984 doi "https://doi.org/10.1007/978-3-031-34326-1_9" @default.
- W4381855984 hasPublicationYear "2023" @default.
- W4381855984 type Work @default.
- W4381855984 citedByCount "0" @default.
- W4381855984 crossrefType "book-chapter" @default.
- W4381855984 hasAuthorship W4381855984A5026803820 @default.
- W4381855984 hasAuthorship W4381855984A5083635884 @default.
- W4381855984 hasAuthorship W4381855984A5083650443 @default.
- W4381855984 hasConcept C104091681 @default.
- W4381855984 hasConcept C112505250 @default.
- W4381855984 hasConcept C11413529 @default.
- W4381855984 hasConcept C114614502 @default.
- W4381855984 hasConcept C115988155 @default.
- W4381855984 hasConcept C116248031 @default.
- W4381855984 hasConcept C118615104 @default.
- W4381855984 hasConcept C121332964 @default.
- W4381855984 hasConcept C158008952 @default.
- W4381855984 hasConcept C167822520 @default.
- W4381855984 hasConcept C174327141 @default.
- W4381855984 hasConcept C176181172 @default.
- W4381855984 hasConcept C179799912 @default.
- W4381855984 hasConcept C183992945 @default.
- W4381855984 hasConcept C197685441 @default.
- W4381855984 hasConcept C2776493592 @default.
- W4381855984 hasConcept C2780069185 @default.
- W4381855984 hasConcept C33923547 @default.
- W4381855984 hasConcept C41008148 @default.
- W4381855984 hasConcept C52370388 @default.
- W4381855984 hasConcept C62520636 @default.
- W4381855984 hasConcept C80444323 @default.
- W4381855984 hasConcept C92710233 @default.
- W4381855984 hasConceptScore W4381855984C104091681 @default.
- W4381855984 hasConceptScore W4381855984C112505250 @default.
- W4381855984 hasConceptScore W4381855984C11413529 @default.
- W4381855984 hasConceptScore W4381855984C114614502 @default.
- W4381855984 hasConceptScore W4381855984C115988155 @default.
- W4381855984 hasConceptScore W4381855984C116248031 @default.
- W4381855984 hasConceptScore W4381855984C118615104 @default.
- W4381855984 hasConceptScore W4381855984C121332964 @default.
- W4381855984 hasConceptScore W4381855984C158008952 @default.
- W4381855984 hasConceptScore W4381855984C167822520 @default.
- W4381855984 hasConceptScore W4381855984C174327141 @default.
- W4381855984 hasConceptScore W4381855984C176181172 @default.
- W4381855984 hasConceptScore W4381855984C179799912 @default.
- W4381855984 hasConceptScore W4381855984C183992945 @default.
- W4381855984 hasConceptScore W4381855984C197685441 @default.
- W4381855984 hasConceptScore W4381855984C2776493592 @default.
- W4381855984 hasConceptScore W4381855984C2780069185 @default.
- W4381855984 hasConceptScore W4381855984C33923547 @default.
- W4381855984 hasConceptScore W4381855984C41008148 @default.
- W4381855984 hasConceptScore W4381855984C52370388 @default.
- W4381855984 hasConceptScore W4381855984C62520636 @default.
- W4381855984 hasConceptScore W4381855984C80444323 @default.
- W4381855984 hasConceptScore W4381855984C92710233 @default.
- W4381855984 hasLocation W43818559841 @default.
- W4381855984 hasOpenAccess W4381855984 @default.
- W4381855984 hasPrimaryLocation W43818559841 @default.
- W4381855984 hasRelatedWork W1423874546 @default.
- W4381855984 hasRelatedWork W1851980922 @default.
- W4381855984 hasRelatedWork W2154291721 @default.
- W4381855984 hasRelatedWork W2350842303 @default.
- W4381855984 hasRelatedWork W2770127456 @default.
- W4381855984 hasRelatedWork W2885772766 @default.
- W4381855984 hasRelatedWork W4200575172 @default.
- W4381855984 hasRelatedWork W4231305083 @default.
- W4381855984 hasRelatedWork W4298844365 @default.
- W4381855984 hasRelatedWork W4377206352 @default.
- W4381855984 isParatext "false" @default.
- W4381855984 isRetracted "false" @default.
- W4381855984 workType "book-chapter" @default.