In preparation for yet another maths exam I created a Python module for modeling, building and describing finite-state automata. I used it for doing my homework assignment and got a nice enough score. The following transducer (my homework) describes the operation of a microwave oven. Green - current state; blue - possible transitions from the current state.
The python-fsm project is hosted at
where more examples and some docs can be found.