CS 332. Theory of Computation

A mathematical treatment of formal language theory and how it relates to computer science.  Topics include automata, grammars, Turing machines, computability, and computational complexity. The course includes three lecture hours per week.
Offered: Fall
Credits: 3
Prerequisite: CS 232