pysimpleautomata (pypi): Python library to manage DFA, NFA and AFW automata
Keywords: automata