Matches in SemOpenAlex for { <https://semopenalex.org/work/W2791897257> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2791897257 startingPage "14" @default.
- W2791897257 abstract "We introduce a measure called width, quantifying the amount of nondeterminism in automata. Width generalises the notion of good-for-games (GFG) automata, that correspond to NFAs of width 1, and where an accepting run can be built on-the-fly on any accepted input. We describe an incremental determinisation construction on NFAs, which can be more efficient than the full powerset determinisation, depending on the width of the input NFA. This construction can be generalised to infinite words, and is particularly well-suited to coBuchi automata in this context. For coBuchi automata, this procedure can be used to compute either a deterministic automaton or a GFG one, and it is algorithmically more efficient in this last case. We show this fact by proving that checking whether a coBuchi automaton is determinisable by pruning is NP-complete. On finite or infinite words, we show that computing the width of an automaton is PSPACE-hard." @default.
- W2791897257 created "2018-03-29" @default.
- W2791897257 creator A5077133539 @default.
- W2791897257 creator A5088246276 @default.
- W2791897257 date "2018-01-01" @default.
- W2791897257 modified "2023-09-24" @default.
- W2791897257 title "Width of Non-deterministic Automata" @default.
- W2791897257 doi "https://doi.org/10.4230/lipics.stacs.2018.47" @default.
- W2791897257 hasPublicationYear "2018" @default.
- W2791897257 type Work @default.
- W2791897257 sameAs 2791897257 @default.
- W2791897257 citedByCount "1" @default.
- W2791897257 countsByYear W27918972572018 @default.
- W2791897257 crossrefType "proceedings-article" @default.
- W2791897257 hasAuthorship W2791897257A5077133539 @default.
- W2791897257 hasAuthorship W2791897257A5088246276 @default.
- W2791897257 hasConcept C108010975 @default.
- W2791897257 hasConcept C111919701 @default.
- W2791897257 hasConcept C112505250 @default.
- W2791897257 hasConcept C11413529 @default.
- W2791897257 hasConcept C116248031 @default.
- W2791897257 hasConcept C118615104 @default.
- W2791897257 hasConcept C139423837 @default.
- W2791897257 hasConcept C151730666 @default.
- W2791897257 hasConcept C158008952 @default.
- W2791897257 hasConcept C165753454 @default.
- W2791897257 hasConcept C167822520 @default.
- W2791897257 hasConcept C174327141 @default.
- W2791897257 hasConcept C194525867 @default.
- W2791897257 hasConcept C2779343474 @default.
- W2791897257 hasConcept C2781020372 @default.
- W2791897257 hasConcept C30788636 @default.
- W2791897257 hasConcept C33923547 @default.
- W2791897257 hasConcept C41008148 @default.
- W2791897257 hasConcept C50348692 @default.
- W2791897257 hasConcept C6557445 @default.
- W2791897257 hasConcept C80444323 @default.
- W2791897257 hasConcept C86803240 @default.
- W2791897257 hasConcept C92710233 @default.
- W2791897257 hasConceptScore W2791897257C108010975 @default.
- W2791897257 hasConceptScore W2791897257C111919701 @default.
- W2791897257 hasConceptScore W2791897257C112505250 @default.
- W2791897257 hasConceptScore W2791897257C11413529 @default.
- W2791897257 hasConceptScore W2791897257C116248031 @default.
- W2791897257 hasConceptScore W2791897257C118615104 @default.
- W2791897257 hasConceptScore W2791897257C139423837 @default.
- W2791897257 hasConceptScore W2791897257C151730666 @default.
- W2791897257 hasConceptScore W2791897257C158008952 @default.
- W2791897257 hasConceptScore W2791897257C165753454 @default.
- W2791897257 hasConceptScore W2791897257C167822520 @default.
- W2791897257 hasConceptScore W2791897257C174327141 @default.
- W2791897257 hasConceptScore W2791897257C194525867 @default.
- W2791897257 hasConceptScore W2791897257C2779343474 @default.
- W2791897257 hasConceptScore W2791897257C2781020372 @default.
- W2791897257 hasConceptScore W2791897257C30788636 @default.
- W2791897257 hasConceptScore W2791897257C33923547 @default.
- W2791897257 hasConceptScore W2791897257C41008148 @default.
- W2791897257 hasConceptScore W2791897257C50348692 @default.
- W2791897257 hasConceptScore W2791897257C6557445 @default.
- W2791897257 hasConceptScore W2791897257C80444323 @default.
- W2791897257 hasConceptScore W2791897257C86803240 @default.
- W2791897257 hasConceptScore W2791897257C92710233 @default.
- W2791897257 hasLocation W27918972571 @default.
- W2791897257 hasOpenAccess W2791897257 @default.
- W2791897257 hasPrimaryLocation W27918972571 @default.
- W2791897257 hasRelatedWork W1528149868 @default.
- W2791897257 hasRelatedWork W2004898185 @default.
- W2791897257 hasRelatedWork W2031592188 @default.
- W2791897257 hasRelatedWork W2121894539 @default.
- W2791897257 hasRelatedWork W2149288970 @default.
- W2791897257 hasRelatedWork W2169203237 @default.
- W2791897257 hasRelatedWork W2269685284 @default.
- W2791897257 hasRelatedWork W2405152255 @default.
- W2791897257 hasRelatedWork W243230860 @default.
- W2791897257 hasRelatedWork W2899216981 @default.
- W2791897257 hasRelatedWork W2901103347 @default.
- W2791897257 hasRelatedWork W2966079298 @default.
- W2791897257 hasRelatedWork W2970774068 @default.
- W2791897257 hasRelatedWork W3114817139 @default.
- W2791897257 hasRelatedWork W3168987741 @default.
- W2791897257 hasRelatedWork W3194530673 @default.
- W2791897257 hasRelatedWork W3197925555 @default.
- W2791897257 hasRelatedWork W3209808760 @default.
- W2791897257 hasRelatedWork W56377157 @default.
- W2791897257 hasRelatedWork W72530425 @default.
- W2791897257 isParatext "false" @default.
- W2791897257 isRetracted "false" @default.
- W2791897257 magId "2791897257" @default.
- W2791897257 workType "article" @default.