Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067382826> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2067382826 abstract "We provide a survey of research surrounding the CIŒernyI conjecture. This conjecture concerns finite-state automata that have the property of being synchronizing. A synchronizing automaton is one for which there exists some input sequence that causes the automaton to transition to some fixed state irrespective of the state in which it had been before reading that input sequence. The CIŒernyI conjecture states that if an automaton with n states is synchronizing then there exists some input sequence of length at most (n - 1)² that synchronizes it. We first survey the basic results that deal with synchronization of finite-state automata. We also study and implement several related algorithms including Eppstein's greedy algorithm for producing a reset sequence. An analysis of the length of the sequence produced by this algorithm leads to an interesting problem in extremal combinatorics the solution of which yields an upper bound of (n³ - n)/6 on the length of the sequence. We then investigate a generalization of the CIŒernyI conjecture. Next we study extremal automata for which the length of the shortest synchronizing sequence meets the CIŒernyI bound. We then turn our attention to subclasses of automata for which the CIŒernyI conjecture has been proved. Finally we discuss possible approaches and current efforts to proving the CIŒernyI conjecture as well as some related problems from the literature." @default.
- W2067382826 created "2016-06-24" @default.
- W2067382826 creator A5004537110 @default.
- W2067382826 date "2012-01-01" @default.
- W2067382826 modified "2023-10-16" @default.
- W2067382826 title "Synchronizing Automata and the CÌŒernyÌ Conjecture" @default.
- W2067382826 hasPublicationYear "2012" @default.
- W2067382826 type Work @default.
- W2067382826 sameAs 2067382826 @default.
- W2067382826 citedByCount "0" @default.
- W2067382826 crossrefType "dissertation" @default.
- W2067382826 hasAuthorship W2067382826A5004537110 @default.
- W2067382826 hasConcept C104091681 @default.
- W2067382826 hasConcept C112505250 @default.
- W2067382826 hasConcept C11413529 @default.
- W2067382826 hasConcept C114614502 @default.
- W2067382826 hasConcept C116248031 @default.
- W2067382826 hasConcept C118615104 @default.
- W2067382826 hasConcept C162932704 @default.
- W2067382826 hasConcept C167822520 @default.
- W2067382826 hasConcept C184720557 @default.
- W2067382826 hasConcept C2778112365 @default.
- W2067382826 hasConcept C2780990831 @default.
- W2067382826 hasConcept C33923547 @default.
- W2067382826 hasConcept C41008148 @default.
- W2067382826 hasConcept C48103436 @default.
- W2067382826 hasConcept C54355233 @default.
- W2067382826 hasConcept C80444323 @default.
- W2067382826 hasConcept C86803240 @default.
- W2067382826 hasConceptScore W2067382826C104091681 @default.
- W2067382826 hasConceptScore W2067382826C112505250 @default.
- W2067382826 hasConceptScore W2067382826C11413529 @default.
- W2067382826 hasConceptScore W2067382826C114614502 @default.
- W2067382826 hasConceptScore W2067382826C116248031 @default.
- W2067382826 hasConceptScore W2067382826C118615104 @default.
- W2067382826 hasConceptScore W2067382826C162932704 @default.
- W2067382826 hasConceptScore W2067382826C167822520 @default.
- W2067382826 hasConceptScore W2067382826C184720557 @default.
- W2067382826 hasConceptScore W2067382826C2778112365 @default.
- W2067382826 hasConceptScore W2067382826C2780990831 @default.
- W2067382826 hasConceptScore W2067382826C33923547 @default.
- W2067382826 hasConceptScore W2067382826C41008148 @default.
- W2067382826 hasConceptScore W2067382826C48103436 @default.
- W2067382826 hasConceptScore W2067382826C54355233 @default.
- W2067382826 hasConceptScore W2067382826C80444323 @default.
- W2067382826 hasConceptScore W2067382826C86803240 @default.
- W2067382826 hasLocation W20673828261 @default.
- W2067382826 hasOpenAccess W2067382826 @default.
- W2067382826 hasPrimaryLocation W20673828261 @default.
- W2067382826 hasRelatedWork W1490034329 @default.
- W2067382826 hasRelatedWork W1584138221 @default.
- W2067382826 hasRelatedWork W1658189326 @default.
- W2067382826 hasRelatedWork W1875355491 @default.
- W2067382826 hasRelatedWork W2022386943 @default.
- W2067382826 hasRelatedWork W2061771611 @default.
- W2067382826 hasRelatedWork W2063209591 @default.
- W2067382826 hasRelatedWork W2143116820 @default.
- W2067382826 hasRelatedWork W2283323122 @default.
- W2067382826 hasRelatedWork W2399995641 @default.
- W2067382826 hasRelatedWork W2619559442 @default.
- W2067382826 hasRelatedWork W289669163 @default.
- W2067382826 hasRelatedWork W2950858471 @default.
- W2067382826 hasRelatedWork W2951456996 @default.
- W2067382826 hasRelatedWork W2957141563 @default.
- W2067382826 hasRelatedWork W2963544879 @default.
- W2067382826 hasRelatedWork W3102686480 @default.
- W2067382826 hasRelatedWork W3110029581 @default.
- W2067382826 hasRelatedWork W3198705318 @default.
- W2067382826 hasRelatedWork W3199802139 @default.
- W2067382826 isParatext "false" @default.
- W2067382826 isRetracted "false" @default.
- W2067382826 magId "2067382826" @default.
- W2067382826 workType "dissertation" @default.