automatapython (pypi): The only automaton library you will ever need
Keywords: language|finite|automata|turing|machine|push|down|linear|bound