测试正则表达式成员资格的证明过程
摘要：一个基于有序证明系统的算法测试正则表达式的成员资格，并证明了该算法的正确性。相比传统算法，该算法的优势是不需要将正则表达式转换为有限自动机的复杂过程。因此，我们的算法简单且易于扩展，可以轻松应用于各种扩展，如定时正则表达式或具有交集的正则语言。
作者：Keehang Kwon, Hong Pyo Ha, Jiseung Kim
论文ID：1002.2203
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-02-11