DFA memiliki kata sinkronisasi jika ada string yang mengirim keadaan DFA ke satu keadaan. Dalam 'The Cerny Conjecture for Aperiodic Automata ”oleh AN Trahtman (Matematika Diskrit dan Ilmu Komputer Teoritis vol. 9: 2, 2007, hal.3-10), ia menulis, Cerny menduga pada tahun 1964 bahwa setiap N-state...
Otomat deterministik disebut k- lokal untuk k > 0 jika untuk setiap w ∈ X k himpunan { δ ( q , w ) : q ∈ Q } berisi paling banyak satu elemen. Secara intuitif itu berarti jika kata w dengan panjang k mengarah ke keadaan, maka keadaan ini unik, atau dikatakan berbeda dari kata panjang yang...
The Cerny dugaan adalah pernyataan bahwa setiap sinkronisasi otomat dengan negara memiliki kata sinkronisasi panjang paling . Batas atas saat ini terbaik untuk panjang kata sinkronisasi adalah . Katakanlah dua negara digabung oleh sebuah kata jika kata itu membawa kedua negara ke kondisi yang sama....