Not logged in

Moore Type State Machines in Tcl

Finite state machines are a powerful abstraction that can be used to structure the sequencing of programs. There are many examples of state machines out there and even a casual search of the Tcl Wiki shows many examples of how to implement simple state machines.

For more complicated programs, the simple examples of the wiki are not sufficient. There are several requirements that are needed to use state machines in a larger program context.

Moore package

Here we describe the moore package. This is a Tcl extension that facilitates designing state machines into your Tcl programs. The link references a package file that may be installed directly into your teacup.