Bestimmen, ob ein regulärer Ausdruck eine Teilmenge eines anderen ist
Ich habe eine große Sammlung von regulären Ausdrücken, die bei Übereinstimmung einen bestimmten http-Handler aufrufen. Einige der älteren regulären Ausdrücke sind nicht erreichbar (z.a.c* ⊃ abc*
) und ich möchte sie beschneiden.
Gibt es eine Bibliothek, die bei zwei regulären Ausdrücken angibt, ob die zweite Teilmenge der ersten ist?
Ich war mir zunächst nicht sicher, ob dies entscheidbar war (es roch nach dem Stopp-Problem mit einem anderen Namen). Aber es stellt sich herauses ist entscheidbar.