OnionGrief / Chipollino

преобразования регулярных выражений и конечных автоматов
Other
19 stars 4 forks source link

Поддержка отрицания для Regex #290

Open dak151449 opened 10 months ago

dak151449 commented 10 months ago
TonitaN commented 10 months ago

Для Антимирова да, та же идея, но под отрицанием используем производные Брзозовски, упрощённые по ACI (см. статью Partial Derivatives of an Extended Regular Expression - Mignot et al). Упрощение по ACI халявнее всего сделать через Normalize (и всё равно придётся реализовывать сортировку элементов альтернативы по лексикографическому порядку, которое Normalize сделать не может).

dak151449 commented 10 months ago

В ветке Антимирова поправлена ошибка построения дополнения в Томпсоне.