TY - SER AU - Kushik,Natalia G. ED - Томский государственный университет TI - Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability KW - автоматы конечные недетерминированные KW - статьи в журналах N1 - Библиогр.: 4 назв UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000443904 ER -