简化 Mathematica 中的正则表达式

Question

我最近发现了 Kleene algebra 用于操作和简化正则表达式。

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

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

Answer 1

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

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

和

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

和

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

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