Automata Theory Implementation choose machine.. Deterministic Finite Automata [DFA DIR] Nondeterministic Finite Automata [NFA DIR] Pushdown Automata [PDA DIR] Context Free Grammar [CFG DIR] Deterministic Turing Machine [DTM DIR] Running ./Automata <MACHINE_SPEC_PATH> <INPUT_PATH>