FSMs

FSMs

Mealy machines, DFAs, Circuits and minimisation in Haskell