Automata Theory Automata Theory Finite Automata Regular Expressions Push-down Automata Turing Machine Computability Theory Complexity Theory NP-Completeness