13 citations · 25 across the 19 of their papers we have counts for
21 papers · 1 filter
Constrained Multi-Tildes: Derived Term and Position Automata
Samira Attou, Ludovic Mignot, Clément Miklarz +1
Multi-tildes are regular operators that were introduced to enhance the factorization power of regular expressions, allowing us to add the empty word in several factors of a catenat…
Monadic Expressions and their Derivatives [extended version]
Samira Attou, Ludovic Mignot, Clément Miklarz +1
We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract th…
Monadic Expressions and their Derivatives
Samira Attou, Ludovic Mignot, Clément Miklarz +1
We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract th…
Bottom-Up Derivatives of Tree Expressions
Samira Attou, Ludovic Mignot, Djelloul Ziadi
In this paper, we extend the notion of (word) derivatives and partial derivatives due to (respectively) Brzozowski and Antimirov to tree derivatives using already known inductive f…
A unified implementation of automata and expression structures, and of the associated algorithms using enriched categories
Ludovic Mignot
In this document, we propose a description, via a Haskell implementation, of a generalization of the notion of regular expression allowing us to group the definitions and the metho…
The Bottom-Up Position Tree Automaton, the Father Automaton and their Compact Versions
Samira Attou, Ludovic Mignot, Djelloul Ziadi
The conversion of a given regular tree expression into a tree automaton has been widely studied. However, classical interpretations are based upon a Top-Down interpretation of tree…