3 credits Continues to develop the theoretical frameworks introduced in CMSC 208 such as language and automata theory, and the computability of functions. Topics include complexity analysis through reductions, NP-completeness, hierarchy of languages, and the Church-Turing thesis.
