4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.FL2013★ 4 cited
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne +1
The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as n…
cs.FL2012
Derivatives of Approximate Regular Expressions
Jean-Marc Champarnaud, Hadrien Jeanne, Ludovic Mignot
Our aim is to construct a finite automaton recognizing the set of words that are at a bounded distance from some word of a given regular language. We define new regular operators,…