libmata (pypi): The automata library
Keywords: automata|finite automata|alternating automata