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…