fsmActions: Finite state machines and FSM actions

This is a library for representing and manipulating finite state machines (FSMs) in Haskell, with an emphasis on computing the effects of sequences of transitions across entire machines (which we call actions), and in particular investigating action equivalences between such sequences.

Releases may be found on Hackage, or installed via cabal-install:

cabal install fsmActions

Documentation:

• A PDF describing the library in some detail (from the darcs version of the codebase, so it might not quite match the PDF found in releases from Hackage).
• Auto-generated library documentation may be found on Hackage.

The latest, development, version of the source may be obtained using darcs:

darcs get http://code.haskell.org/fsmActions/

Suggestions, criticism, bug fixes, patches, etc. are welcome. See Hackage for contact information. Thanks!