240114081 THEORY OF COMPUTATION ( 3 Crd.Hrs )

Pre-Requisites : 240113020

Topics include theory of finite state machine and automata; regular expressions; Turing machines; grammars; parsing; language hierarchy; machine design and construction; computability; un-solvability; halting problem; computational complexity; and recursive functions. The course also discusses issues in equivalence of various computational models, minimization, and characterizations