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

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

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