簡化Mathematica中的正則表達式

Question

我最近發現了關於Kleene代數的操作和簡化正則表達式。

我想知道這是否已經構建到像Mathematica這樣的計算軟件程序中？ 擁有一個用於進行大型表達式的聯合和連接的計算工具並讓計算機簡化它們將會很棒。

如果您不了解內置此代數的任何程序，您是否知道任何允許使用新代數擴展其引擎的程序？

Answer 1

在http://www.maplesoft.com/msw/program/MSW04FinalProgram.pdf上 ，它聲明：

有限自動機理論的基本結果之一是着名的Kleene定理，該定理指出一種語言是有限自動機可接受的，當且僅當它可以用正則表達式表示時。

和

然而，正則表達式的算法處理的主要困難是它們的簡化。 盡管已知關於正則表達式的若干身份，例如Kleene代數的規則，但是不存在用於解決正則表達式的簡化問題的有效算法。

和

在這種情況下，剩下的唯一方法是開發啟發式算法來簡化正則表達式。 對於aut包，本文概述了Maple過程Rmplmplify，Rabsorb和Rexpand。

我想知道是否存在Kleene Algebra算法的開源實現。