我最近发现了约克莱尼代数操纵和简化经常EX pressions。

I recently found out about Kleene algebra for manipulating and simplifying regular expressions.

我不知道这已经打造成为像数学计算的任何软件程序？这将是巨大的，有一个计算工具做工会和大前pressions串联，并在电脑简化。

I'm wondering if this has been build into any computational software programs like Mathematica? It would be great to have a computational tool for doing unions and concatenations of large expressions and have the computer simplify them.

如果你不知道这个代数内置任何程序，你知道的所有程序，让新的代数延长他们的引擎？

If you are not aware of any programs with this algebra built in, do you know any programs that allow extending their engines with new algebras?

推荐答案

在 HTTP：/ /www.maplesoft.com/msw/program/MSW04FinalProgram.pdf ，它指出：

一个有限自动机理论的基本结果是   著名克莱尼定理，其中指出，语言是可以接受的一个   当且仅当它可以重新presented通过常规有限自动   EX pression。

One of the basic results of the theory of finite automata is the famous Kleene theorem, which states that a language is acceptable by a finite automaton if and only if it can be represented by a regular expression.

和

算法的处理常规的主要困难   前pressions是，然而，它们的简化。虽然有几个   身份有关定期EX pressions，例如，规则知   克莱尼代数，不存在一个有效的算法   解决了常规EX pressions简化问题。

The main difficulty of the algorithmic treatment of regular expressions is, however, their simplification. Although several identities are known concerning regular expressions, e.g., the rules of Kleene algebra, there does not exist an effective algorithm for solving the simplification problem of regular expressions.

和

在这种情况下，剩下的唯一办法是开发启发式   算法简化了常规EX pressions。对于 AUT 包，   本文概述了枫叶程序Rsimplify，Rabsorb和   Rexpand。

Under the circumstances, the only way left is to develop heuristic algorithms for simplifying regular expressions. For the aut package, this paper outlines the Maple procedures Rsimplify, Rabsorb and Rexpand.

我想知道如果克莱尼代数算法开放源代码的实现存在。

Im wondering if open-source implementations of Kleene Algebra algorithms exist.