近似正则表达式的导数
摘要：识别给定正规语言中离某个单词有有界距离的单词的有限自动机的构建目标。我们基于距离概念的一般化，定义了新的正规运算符，即相似度运算符，并引入了扩展到相似度运算符的正规表达式家族，我们称之为AREs（近似正规表达式）。我们制定了计算ARE的Brzozowski导数和Antimirov导数的公式，这使我们能够解决ARE成员问题，并提供了用ARE表示的语言的两个识别器的构建。据我们所知，近似正规表达式家族在本文中首次引入。传统的近似正规表达式匹配算法是对正规表达式进行的近似匹配算法。我们的方法是在近似正规表达式上进行精确匹配处理。
作者：Jean-Marc Champarnaud, Hadrien Jeanne and Ludovic Mignot
论文ID：1205.1825
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2012-06-27