A regex manipulation lib written in Haskell
To compile: ghc -O2 aoba.hs RE.hs
Options:
./aoba -i re1 re2 -- intersection set
./aoba -c re1 re2 -- inclusion
./aoba -e re1 re2 -- equality
For detailed theory:
Valentin M. Antimirov: Partial Derivatives of Regular Expressions and Finite Automaton Constructions.
Theor. Comput. Sci. 155(2): 291-319 (1996)