Mam dużą kolekcję wyrażeń regularnych, które po dopasowaniu wywołują konkretny program obsługi HTTP. Niektóre starsze wyrażenia regularne są nieosiągalne (np.a.c* ⊃ abc*) i chciałbym je przyciąć.

Czy istnieje biblioteka, która dała dwa wyrażenia regularne, powie mi, czy druga jest podzbiorem pierwszego?

Nie byłam pewna, czy na początku było to rozstrzygalne (pachniało jak problem z zatrzymaniem przez inną nazwę). Ale okazuje sięto rozstrzygalne.