2
Status przypuszczenia Cerny'ego?
DFA ma słowo synchronizujące, jeśli istnieje ciąg znaków, który wysyła dowolny stan DFA do jednego stanu. W „The Cerny Conjecture for Aperiodic Automata” AN Trahtmana (Discrete Mathematics and Theoretical Computer Science vol. 9: 2, 2007, s. 3–10) napisał: Cerny przypuszczał w 1964 r., Że każdy DFA synchronizowany w stanie n …