Simplifique la expresión regular en Mathematica

Recientemente me enteré deKleene álgebra [http://en.wikipedia.org/wiki/Kleene_algebra] para manipular y simplificar expresiones regulares. Me pregunto si esto se ha incorporado a algún programa de software computacional como Mathematica. Sería ...