简化正则表达式的程序（工具论文）
摘要：将正则表达式转换为等效的较短表达式的系统的主要特点。该系统还能够计算其他对简化有用的操作，如检查正则语言的包含性。本工作的主要创新之处在于将已知但不同的正则语言表示方法结合到一个全局统一的数据结构中，使操作更有效率。此外，随着对正则语言执行操作，其表示也将动态减少。表达式通过唯一标识符（整数）进行规范化和表示。找到等效的表达式（即表示相同的正则语言）将被分组成等价类，其中选择最短的代表。本文简要描述了在全局数据结构上工作的主要算法。其中一些是著名算法的直接适应，但大多数都包含了新的思想，这些新思想对于使系统高效是真正必要的。最后，为展示其实用性，将该系统应用于文献中的一些例子。还提供了随机生成表达式集合的统计数据。
作者：Baudouin Le Charlier
论文ID：2307.06436
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-07-14