*****COURSES ARE SUBJECT TO CHANGE*****
Turing machines, general phase-structure grammars, the Chomsky hierarchy, recursive functions, diagonalization, the Halting problem, computability and unsolvability, computational complexity, time and space bounds, NP-completeness with emphasis on reductions between problems from various areas. Prerequisite(s): course 130. D. Helmbold, P. Kolaitis, A. Van Gelder, M. Warmuth
While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.