fsmdot (pypi):  Implementation of finite-state machines and exportation to dot format
Keywords: fsm|automata|dfa|nfa|dfa-minimization|graphviz-dot|nfa-to-dfa-conversion