Определение, является ли регулярное выражение подмножеством другого
У меня есть большая коллекция регулярных выражений, которые при совпадении вызывают определенный обработчик http. Некоторые из старых регулярных выражений недоступны (например,a.c* ⊃ abc*
) и я хотел бы обрезать их.
Есть ли библиотека, которая дает два регулярных выражения, скажет мне, является ли второе подмножеством первого?
Сначала я не был уверен, что это можно решить (пахло проблемой остановки под другим именем). Но получаетсяэто разрешимо.