Haskell implementation for different kinds of automata.
Haskell implementation for different kinds of automata