Automata Provides implementations and examples of deterministic finite automata (DFA), non-deterministic finite automata (NFA) and pushdown automata (PDA) in Python.