Реализация ДКА + минимизация (тендер № 6186)

Библиотека должна поддерживать следующие операции: Регулярные выражения могут быть заранее скомпилированы в ДКА непосредственно без построения НКА (РВ->ДКА->минимальный ДКА), т.е. должен поддерживаться метод compile(), при этом допустим вызов операций с регулярными выражениями, как со скомпилированным объектом, так и со строковым представлением. Для скомпилированных автоматов библиотека должна поддерживать операцию восстановления регулярного выражения методом построения K-пути. Библиотека должна поддерживать операцию построения разности языков, задаваемых регулярными выражениями (скомпилированными ДКА). Библиотека должна поддерживать операцию построения инверсии языка, задаваемым регулярным выражением (скомпилированным ДКА). Библиотека построения AST уже готова. Построение НКА тоже. Дедлайн: 28.08.2024