Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137885005> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3137885005 startingPage "16" @default.
- W3137885005 abstract "We study synchronizing partial DFAs, which extend the classical concept of synchronizing complete DFAs and are a special case of synchronizing unambiguous NFAs. A partial DFA is called synchronizing if it has a word (called a reset word) whose action brings a non-empty subset of states to a unique state and is undefined for all other states. While in the general case the problem of checking whether a partial DFA is synchronizing is PSPACE-complete, we show that in the strongly connected case this problem can be efficiently reduced to the same problem for a complete DFA. Using combinatorial, algebraic, and formal languages methods, we develop techniques that relate main synchronization problems for strongly connected partial DFAs with the same problems for complete DFAs. In particular, this includes the Cerný and the rank conjectures, the problem of finding a reset word, and upper bounds on the length of the shortest reset words of literal automata of finite prefix codes. We conclude that solving fundamental synchronization problems is equally hard in both models, as an essential improvement of the results for one model implies an improvement for the other." @default.
- W3137885005 created "2021-03-29" @default.
- W3137885005 creator A5003918612 @default.
- W3137885005 creator A5070218248 @default.
- W3137885005 creator A5075117503 @default.
- W3137885005 creator A5091392392 @default.
- W3137885005 date "2021-01-01" @default.
- W3137885005 modified "2023-09-27" @default.
- W3137885005 title "Synchronizing Strongly Connected Partial DFAs" @default.
- W3137885005 doi "https://doi.org/10.4230/lipics.stacs.2021.12" @default.
- W3137885005 hasPublicationYear "2021" @default.
- W3137885005 type Work @default.
- W3137885005 sameAs 3137885005 @default.
- W3137885005 citedByCount "1" @default.
- W3137885005 countsByYear W31378850052022 @default.
- W3137885005 crossrefType "proceedings-article" @default.
- W3137885005 hasAuthorship W3137885005A5003918612 @default.
- W3137885005 hasAuthorship W3137885005A5070218248 @default.
- W3137885005 hasAuthorship W3137885005A5075117503 @default.
- W3137885005 hasAuthorship W3137885005A5091392392 @default.
- W3137885005 hasConcept C104091681 @default.
- W3137885005 hasConcept C106159729 @default.
- W3137885005 hasConcept C112505250 @default.
- W3137885005 hasConcept C11413529 @default.
- W3137885005 hasConcept C114614502 @default.
- W3137885005 hasConcept C116248031 @default.
- W3137885005 hasConcept C138885662 @default.
- W3137885005 hasConcept C141603448 @default.
- W3137885005 hasConcept C158008952 @default.
- W3137885005 hasConcept C162324750 @default.
- W3137885005 hasConcept C162932704 @default.
- W3137885005 hasConcept C167822520 @default.
- W3137885005 hasConcept C184720557 @default.
- W3137885005 hasConcept C2524010 @default.
- W3137885005 hasConcept C2778562939 @default.
- W3137885005 hasConcept C2779795794 @default.
- W3137885005 hasConcept C33923547 @default.
- W3137885005 hasConcept C38754835 @default.
- W3137885005 hasConcept C41008148 @default.
- W3137885005 hasConcept C41895202 @default.
- W3137885005 hasConcept C48103436 @default.
- W3137885005 hasConcept C52370388 @default.
- W3137885005 hasConcept C65753522 @default.
- W3137885005 hasConcept C80444323 @default.
- W3137885005 hasConcept C90805587 @default.
- W3137885005 hasConceptScore W3137885005C104091681 @default.
- W3137885005 hasConceptScore W3137885005C106159729 @default.
- W3137885005 hasConceptScore W3137885005C112505250 @default.
- W3137885005 hasConceptScore W3137885005C11413529 @default.
- W3137885005 hasConceptScore W3137885005C114614502 @default.
- W3137885005 hasConceptScore W3137885005C116248031 @default.
- W3137885005 hasConceptScore W3137885005C138885662 @default.
- W3137885005 hasConceptScore W3137885005C141603448 @default.
- W3137885005 hasConceptScore W3137885005C158008952 @default.
- W3137885005 hasConceptScore W3137885005C162324750 @default.
- W3137885005 hasConceptScore W3137885005C162932704 @default.
- W3137885005 hasConceptScore W3137885005C167822520 @default.
- W3137885005 hasConceptScore W3137885005C184720557 @default.
- W3137885005 hasConceptScore W3137885005C2524010 @default.
- W3137885005 hasConceptScore W3137885005C2778562939 @default.
- W3137885005 hasConceptScore W3137885005C2779795794 @default.
- W3137885005 hasConceptScore W3137885005C33923547 @default.
- W3137885005 hasConceptScore W3137885005C38754835 @default.
- W3137885005 hasConceptScore W3137885005C41008148 @default.
- W3137885005 hasConceptScore W3137885005C41895202 @default.
- W3137885005 hasConceptScore W3137885005C48103436 @default.
- W3137885005 hasConceptScore W3137885005C52370388 @default.
- W3137885005 hasConceptScore W3137885005C65753522 @default.
- W3137885005 hasConceptScore W3137885005C80444323 @default.
- W3137885005 hasConceptScore W3137885005C90805587 @default.
- W3137885005 hasLocation W31378850051 @default.
- W3137885005 hasOpenAccess W3137885005 @default.
- W3137885005 hasPrimaryLocation W31378850051 @default.
- W3137885005 hasRelatedWork W1483237808 @default.
- W3137885005 hasRelatedWork W1529800541 @default.
- W3137885005 hasRelatedWork W1543841013 @default.
- W3137885005 hasRelatedWork W1782076687 @default.
- W3137885005 hasRelatedWork W1888551009 @default.
- W3137885005 hasRelatedWork W1919656470 @default.
- W3137885005 hasRelatedWork W2020071688 @default.
- W3137885005 hasRelatedWork W2106446429 @default.
- W3137885005 hasRelatedWork W2240930906 @default.
- W3137885005 hasRelatedWork W2295392808 @default.
- W3137885005 hasRelatedWork W2604729131 @default.
- W3137885005 hasRelatedWork W2750142210 @default.
- W3137885005 hasRelatedWork W2940179098 @default.
- W3137885005 hasRelatedWork W2951907769 @default.
- W3137885005 hasRelatedWork W2963853438 @default.
- W3137885005 hasRelatedWork W2978698792 @default.
- W3137885005 hasRelatedWork W3048326796 @default.
- W3137885005 hasRelatedWork W3091830191 @default.
- W3137885005 hasRelatedWork W3161932662 @default.
- W3137885005 hasRelatedWork W3194887545 @default.
- W3137885005 isParatext "false" @default.
- W3137885005 isRetracted "false" @default.
- W3137885005 magId "3137885005" @default.
- W3137885005 workType "article" @default.