This course aims to build concepts regarding the fundamental principles of Grammars, Automata Theory, Turing Machines, Push Down Automata, Undecidability and Intractable Problems