Hey, thanks for the cool library!
It'd be nice to add the possibility of creating a .dot file (or similar) for a defined state machine.
This would enable deriving a graphical representation of the states and all the possible transitions via tools like Graphviz.