Regex: Determina se due espressioni regolari potrebbero corrispondere per lo stesso input?

Voglio scoprire se potrebbero esserci conflitti tra due espressioni regolari conosciute, al fine di consentire all’utente di build un elenco di espressioni regolari che si escludono a vicenda.

Ad esempio, sappiamo che le espressioni regolari di seguito sono piuttosto diverse ma entrambe corrispondono a xy50 :

 '^xy1\d' '[^\d]\d2$' 

È ansible determinare, utilizzando un algoritmo informatico, se due espressioni regolari possono avere un tale conflitto ? Come?