Automata Theory: Roles of models in computation, Finite state automata, Push-down Automata, Formal grammars, Parsing, Relative powers of formal models. Basic computability. Turing machines, Universal Turing machines, Church’s thesis, solvability and Decidability.