Упростите регулярное выражение в системе Mathematica

Недавно я узнал об алгебре Клини для управления и упрощения регулярных выражений.

Мне интересно, было ли это встроено в какие-либо вычислительные программы, такие как Mathematica? Было бы здорово иметь вычислительный инструмент для объединения и конкатенации больших выражений и упростить их на компьютере.

Если вам не известны какие-либо программы со встроенной алгеброй, знаете ли вы какие-либо программы, позволяющие расширить свои механизмы с помощью новых алгебр?