A Python package for automata theory.
A python CLI tool for creating diagrams of finite state machines.