คำถามติดแท็ก synchronization

DFA มีคำซิงโครไนซ์หากมีสตริงที่ส่งสถานะใด ๆ ของ DFA ไปยังสถานะเดียว ใน 'การคาดคะเนของ Cerny สำหรับ Aperiodic Automata” โดย AN Trahtman (คณิตศาสตร์ไม่ต่อเนื่องและวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีอัตรา 9: 2, 2007, pp.3-10) เขาเขียน Cerny คาดคะเนในปี 1964 ว่าทุก n รัฐ synchronizable DFA ครอบครองคำตรงกันของความยาวที่มากที่สุด 2( n - 1 )2(n-1)2(n-1)^2 นอกจากนี้เขายังเขียนว่า "ในกรณีที่เมื่อกราฟพื้นฐานของสม่ำเสมอ DFA มีการเชื่อมต่ออย่างยิ่งนี้ถูกผูกไว้บนที่ได้รับการปรับปรุงให้ดีขึ้นเร็ว ๆ นี้โดยวอลคอฟที่มีการลดการประเมินเพื่อ 6n ( n + 1 ) / 6n(n+1)/6n(n + …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

หุ่นกำหนด= ( X , Q , Q 0 , F , δ )เรียกว่าk -local สำหรับk > 0ถ้าทุกW ∈ X kชุด{ δ ( Q , W ) : Q ∈ Q }มีที่มากที่สุด องค์ประกอบเดียว โดยสังหรณ์นั่นหมายความว่าถ้าคำwของความยาวkนำไปสู่สถานะแล้วสถานะนี้จะไม่ซ้ำกันหรือพูดแตกต่างจากคำยาวโดยพลการA= ( X, Q , q0, F, δ)A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta)kkkk > 0k>0k > …

10 fl.formal-languages  automata-theory  synchronization