nfa-to-dfa
Pure-Python library for building and working with nondeterministic finite automata (NFAs).