Корректирующий алгоритм решения задач типа размещения

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