РУАЭСТ (RUAEST)
В данной статье рассматривается задача построения регулярного выражения, оптимального с точки зрения звездной высоты, для заданного конечного автомата. Предлагается anytime-алгоритм, позволяющий получить псевдо-оптимальное решение за определенный промежуток времени