Нестеров, Л. А.     Методы синтеза и анализа дискретных конечных автоматов[Текст] [Текст] / Нестеров, Л.А. // Труды лесоинженерного факультета ПетрГУ,Вып.3. - 2001. - С.6. - 68.-Библиогр.:3 назв. УДК 630 Кл.слова (ненормированные): Автомат -- Синтез -- Анализ