Ein DFA verfügt über ein Synchronisationswort, wenn eine Zeichenfolge vorhanden ist, die einen beliebigen Status des DFA an einen einzelnen Status sendet. In "The Cerny Conjecture for Aperiodic Automata" von AN Trahtman (Diskrete Mathematik und Theoretische Informatik, Band 9: 2, 2007, S. 3-10)...
Ein deterministischer Automat heißt k- lokal für k > 0, wenn für jedes w ∈ X k die Menge { δ ( q , w ) : q ∈ Q } höchstens enthält ein Element. Intuitiv bedeutet dies, dass wenn ein Wort w der Länge k zu einem Zustand führt, dieser Zustand eindeutig ist oder anders gesagt wird als ein beliebiges...
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die...