Изменения

Время работы алгоритма равно оценивается как <tex>O(|\Sigma| * n\log{n})</tex>, где <tex> n </tex> {{---}} количество состояний ДКА, а <tex> \Sigma </tex>{{---}} алфавит. Это следует из того, что каждое из ребересли пара <tex>(S, a)</tex> попала в очередь, и класс <tex>S</tex> использовася в качестве сплиттера, то при последующем разбиении этого класса в очередь будет добавлен класс <tex>S_1</tex>, а их порядка причем <tex> |S|\Sigmage 2|S_1| * n </tex>. Каждое состояние изначально принадлежит лишь одному классу в очереди, участвует тогда из вышеуказанного следует, что каждый переход в автомате будет просмотрен не более , чем в <tex> O(\log{n})</tex> разбиенияхраз. Учитывая, что ребер всего <tex>O(|\Sigma| * n)</tex>, получаем указанную оценку.