A Python package for automata theory.
Implementation of finite-state machines and exportation to dot format
