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…