Explores the mathematical foundation of computer science. The various levels of automata theory are covered along with their deterministic and nondeterministic counterparts. Credits:4 Prerequisite:CS 361 Satisfactory Grading: Ineligible for the Satisfactory/No Credit grade mode.