dfa (pypi): Python library for modeling DFAs, Moore Machines, and Transition Systems.
Keywords: dfa|immutable|moore-machine