Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny...
Um autômato determinístico é chamado -local para se para cada o conjunto contém no máximo um elemento. Intuitivamente, isso significa que se uma palavra de comprimento leva a um estado, então esse estado é único ou dito diferentemente de uma palavra arbitrária de comprimento os últimos símbolos...
A conjectura de Cerny é a afirmação de que qualquer autômato de sincronização com nnn estados tem uma palavra de duração sincronizada no máximo (n−1)2(n−1)2(n-1)^2 . O melhor limite superior atual para o comprimento de uma palavra sincronizada é O(n3)O(n3)O(n^3) . Digamos que dois estados sejam...