Hey, thanks for the cool library! It'd be nice to add the possibility of creating a [.dot file](https://en.wikipedia.org/wiki/DOT_(graph_description_language)) (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](https://graphviz.org).