CSCI 4602 - Automata, Computability and Complexity
3F
P: CSCI 2405, CSCI 2530. Examination of finite automata and regular languages. Includes Turing machines, the Church-Turing thesis, computability and unsolvability, complexity, and the theory of NP-completeness.