StateTables

This is a package for building finite state machines, written by Dan Grayson.