いっそ文字列sとsを部分文字列として含む文字列の集合T={t1,t2,...}が与えられたときに
sを含むがTの要素を含まない文字列にマッチする正規表現を求めるプログラムを
書いてしまうのがいいのではないだろうか。と思ったが結構難しいな...