Câu hỏi được gắn thẻ «synchronization»

Một DFA có một từ đồng bộ hóa nếu có một chuỗi gửi bất kỳ trạng thái nào của DFA đến một trạng thái duy nhất. Trong 'Phỏng đoán Cerny cho Automata định kỳ của AN Trahtman (Toán học rời rạc và Khoa học máy tính lý thuyết tập 9: …

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

Một automaton xác định A=(X,Q,q0,F,δ)A=(X,Q,q0,F,δ)\mathcal A = (X, Q, q_0, F, \delta) được gọi là kkk -local cho k>0k>0k > 0 nếu với mọi w∈Xkw∈Xkw \in X^k set {δ(q,w):q∈Q}{δ(q,w):q∈Q}\{ \delta(q,w) : q \in Q \} có chứa ít nhất một yếu tố. Theo trực giác có nghĩa là nếu một …

10 fl.formal-languages  automata-theory  synchronization 

Các Cerny phỏng đoán là tuyên bố rằng bất kỳ automaton đồng bộ hóa với bang có một từ đồng bộ hóa có độ dài tối đa là . Giới hạn trên tốt nhất hiện tại cho độ dài của từ đồng bộ hóa là . Giả sử hai trạng …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization