CS 614 Theory of Computation

Reviews the theory of the power and limitations of computation, different major computational model, and computers:finite automata, context-free grammars, Turing machines, equivalence of computing paradigms (Church-Turing thesis), undecidability, intractability.