A Python package for automata theory.
Pure-Python library for building and working with nondeterministic finite automata (NFAs).
