A study of the computational and linguistic theory on which the field of computer science is based. Topics include finite state automata, context-free grammars, push-down automata, Turing machines, undecidability, computability, and complexity theory. This course is the Senior Writing Requirement course. Prerequisite(s): COSC 348 and MATH 220 or consent of instructor. As needed.