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