CSC 603 - Theory of Computation (3)

Theory of computation is the branch of computer science that studies how efficiently and quickly problems may be solved using algorithms. This course emphasizes the principles behind complexity, computability, and automata theory. It demonstrates how formal languages and automata are related. The basic goal is to find computer limitations by formalizing computing (by introducing a variety of models, such as Turing Machines) and using mathematical techniques on the resulting formal models.