This is a link to a package to implement Mealy type state machines in Tcl. It is a companion to the Moore Type State Models package. See that page for a discussion of the difference between Moore and Mealy type machines.
http://chiselapp.com/user/mangoa01/repository/mrtools/doc/tip/mealy/wiki/intro.wiki
The example is the same as the Moore example, just done as a Mealy type machine for those that prefer that formulation.