Аппроксимация достижимости с ограничениями в виде шафла языков Дика с использованием алгоритмов на основе GLL

Задача о приближении достижимости в графе с ограничениями в виде шафла языков Дика (interleaved Dyck reachability) может решаться через последовательное решение задач поиска путей с контекстно-свободными ограничениями: CFL-based methods for approximating interleaved Dyck reachability В рамках проекта UCFS предложен алгоритм поиска всех путей с контекстно-свободными ограничениями на основе алгоритма GLL. Предлагается, во-первых, на его основе реализовать алгоритм, приближённо решающий задачу для шафла языков Дика (как предложено в указанной выше статье), во-вторых, провести эксперименты по оценке производительности, в-третьих, интегрировать решение в проект Qilin.