Tengo una gran colección de expresiones regulares que, cuando coinciden, llaman a un controlador http en particular. Algunas de las expresiones regulares más antiguas son inalcanzables (por ejemplo,a.c* ⊃ abc*) y me gustaría podarlas.

¿Hay alguna biblioteca que, dadas dos expresiones regulares, me diga si el segundo es un subconjunto del primero?

No estaba seguro de que esto fuera decidible al principio (olía como el problema de la detención con un nombre diferente). Pero resulta quees decidible.