CS 48800 - Theory of Computation

Mathematical models of computation including finite and pushdown automata and Turing machines and equivalence of different general-purpose models. Grammars and their relation to automata, Church’s Thesis, and limits of computation.

Preparation for Course
P: CS 35000.

Cr. 3.