Prerequisites: CS 150
Description: Covers phrase structure grammars and languages; turing machines; relation of languages to automata; solvable and unsolvable problems; and theoretical lim- itations of computers. Also examines algorithmic com- plexity theory; polynomial reducibility; the classes P 194 / Programs and Courses and NP; and correctness proofs. May be taken Satisfactory (S) or No Credit (NC) by students advanced to candidacy for the Ph.D.