Advanced topics in theory. Closure properties, ambiguity, contact-sensitive and recursively enumerable languages, alternate models of computation, non-determinism, decidability, Ackermann's function, computational complexity speed-up.
Prerequisite: CSCI 3320.