Определение, является ли регулярное выражение подмножеством другого

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

Есть ли библиотека, которая дает два регулярных выражения, скажет мне, является ли второе подмножеством первого?

Сначала я не был уверен, что это можно решить (пахло проблемой остановки под другим именем). Но получаетсяэто разрешимо.

Ответы на вопрос(4)

Ваш ответ на вопрос