Language theory; Finite automata: deterministic finite automata, nondeterministic finite automata, equivalence and conversion of deterministic and nondeterministic finite automata, pushdown automata; Context free languages; Context free grammars; Turing Machines: basic machines, configuration, computing with Turing machines, combining Turing machines; Undecidability.
- Teacher: Sukarna Barua
- Teacher: Dr. S. M. Farhad