implifique a expressão regular no Mathemati

Descobri recentemente sobreKleene algebra [http://en.wikipedia.org/wiki/Kleene_algebra] para manipular e simplificar expressões regulare Gostaria de saber se isso foi incorporado a algum programa de software computacional como o Mathematica? ...