Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов Зузанова, Мария Рафаэльевна ВАК РФ 05.13.18 Стр. 1 из 22