Многоаспектная минимизация недетерминированных конечных автоматов (Часть II. Основные алгоритмы)

Во второй части статьи подробно рассматривается пример построения бинарного отношения # и множества блоков заданного регулярного языка - в процессе выполнения процедуры канонизации задающего его автомата. Приведены два алгоритма объединения состояний недетерминированного автомата. На основе этих алгоритмов сформулированы сокращенный вариант алгоритма дуговой минимизации, а также алгоритм добавления дуги.