Automata theory: Roles of models in computation. Finite state Automata, Push-down 

Automata, Formal Grammars, Parsing, Relative powers of formal models. Basiccomputability: Turing machines, Universal Turing Machines, Church’s thesis, solvability and Decidability.