扩展正则表达式不等式的符号求解
摘要：扩展正则表达式的包含问题的新解决方案摘要。该解决方案使用交集和补集运算符扩展基本正则表达式，并考虑基于潜在无限字符集的无限字母表上的正则表达式。标准方法不考虑扩展运算符或字符集。该算法避免了转换为等价自动机，并提供了用于解决正则表达式不等式的纯符号术语重写系统。 我们提供了一种基于Brzozowski的正则表达式导数和Antimirov的重写方法来检查包含问题的新符号决策过程。我们将Brzozowski的句法导数运算符推广为两个导数运算符，这些运算符与（潜在无限）可表示的字符集相关联。
作者：Matthias Keil, Peter Thiemann
论文ID：1410.3227
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-10-14