maquinas (pypi): Formal languages and automata library
Keywords: regular|languages|context|free|sensitive|recursively|enumerable