Gate Theory of Computation SYLLABUS
Regular languages and finite automata, Context free languages and Push-down
automata, Recursively enumerable sets and Turing machines, Undecidability
automata, Recursively enumerable sets and Turing machines, Undecidability