3 credits. Prereq: CSCE 211, 212, 350 Basic theoretical principles of computing as modeled by formal languages, grammars, automata, and Turing machines; fundamental limits of computation. Semesters Offered: Fall, Spring Syllabus