Запитання з тегом «synchronization»

DFA має слово синхронізації, якщо є рядок, який передає будь-який стан DFA в один стан. У статті "Черні для аперіодичних автоматів" А.Н. Трахтмана (дискретна математика та теоретичні інформатики, т. 9: 2, 2007, с. 3-10) він написав: У 1964 р. Черні припустив, що кожен DF-станція, що синхронізує n-стан, має синхронізуюче слово …

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

Детермінований автомат називається k -локальним для k > 0, якщо для кожного w ∈ X k множина { δ ( q , w ) : q ∈ Q } містить щонайбільше один елемент. Інтуїтивно це означає, що якщо слово w довжини k призводить до стану, то цей стан є унікальним …

10 fl.formal-languages  automata-theory  synchronization