3 citations · 4 across the 5 of their papers we have counts for
Showing 2014 · cs.FLShow all
2 papers · 2 filters
cs.FL2014
Constrained Expressions and their Derivatives
Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart
This paper proposes an extension to classical regular expressions by the addition of two operators allowing the inclusion of boolean formulae from the zeroth order logic. These exp…
cs.FL2014
Operads, quasiorders, and regular languages
Samuele Giraudo, Jean-Gabriel Luque, Ludovic Mignot +1
We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action…