Ludovic Mignot

Monadic Expressions and Their Derivatives

2024 · RAIRO - Theoretical Informatics and Applications

There are several well-known ways to compute derivatives of regular expressions due to Brzozowski, Antimirov or Lombardy and Sakarovitch. We propose another one which abstracts the underlying data structures ( e.g . sets or linear …