Вклад участника

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

можно было догадаться, тем не менее, не было очевидно, что это имеется в виду