简化 Mathematica 中的正则表达式

Question

我最近发现了用于操作和简化正则表达式的克林代数。

我想知道这是否已内置到 Mathematica 等任何计算软件程序中？如果有一个计算工具来进行大型表达式的并集和串联并让计算机简化它们，那就太好了。

如果您不知道任何内置此代数的程序，您是否知道任何允许使用新代数扩展其引擎的程序？

Answer 1

关于http://www.maplesoft.com/msw/program/MSW04FinalProgram.pdf，它指出：

有限自动机理论的基本结果之一是
著名的克林定理，该定理指出，一种语言可以被某种语言所接受
有限自动机当且仅当它可以用正则表示
表达。

和

正则算法处理的主要难点
然而，表达式是它们的简化。虽然有几个
关于正则表达式的恒等式是已知的，例如规则
对于 Kleene 代数，不存在有效的算法
解决正则表达式的简化问题。

和

在这种情况下，唯一的办法就是发展启发式
简化正则表达式的算法。对于 aut 包，
本文概述了 Maple 程序 Rsimplify、Rabsorb 和
重新展开。

我想知道 Kleene 代数算法是否存在开源实现。