CS 3800 Theory of Computation

Spring 2013

This is an undergraduate course that provides an introduction to formal models of languages and computation. Topics covered include finite automata and regular languages, pushdown automata and context-free languages, Turing machines, computability, and NP-completeness.