Информатика, вычислительная техника и управление. Диссертация Некоторые алгоритмы эквивалентного преобразования недетерминированных конечных автоматов : диссертация ... кандидата физико-математических наук : 05.13.18, Тольятти, 2009