2023-2024 Graduate Catalog

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.

Credits

3

Prerequisite

Permission of Instructor