Sinhronizaciq konechnyh awtomatow

Kniga poswqschena issledowaniü aktual'nogo naprawleniq sowremennoj diskretnoj matematiki ¿ sinhronizacii determinirowannyh konechnyh awtomatow i obobscheniü ponqtiq sinhronizacii na chastichnye i nedeterminirowannye konechnye awtomaty. Determinirowannyj konechnyj awtomat nazywaetsq sinhroniziruemym, esli suschestwuet slowo, pod dejstwiem kotorogo wse sostoqniq awtomata otobrazhaütsq w odno i to zhe sostoqnie. Voprosy o tom, kak prowerit' awtomat na sinhronizuemost' i najti kratchajshee slowo, sinhroniziruschee dannyj awtomat, issleduütsq uzhe bolee soroka let. V knige ustanawliwaütsq ocenki maximal'noj dliny kratchajshih sinhroniziruüschih i berezhno sinhroniziruüschih slow, a takzhe slozhnost' algoritmicheskih zadach, swqzannyh s sinhroniziruemost'ü i berezhnoj sinhroniziruemost'ü. Krome togo, w rabote rassmatriwaetsq ponqtie dostizhimosti podmnozhestw w awtomatah, kotoroe qwlqetsq estestwennym obobscheniem ponqtiq sinhroniziruemosti na sluchaj nedeterminirowannyh awtomatow.