3 credits.

Prereq: CSCE 355 or 551)

Formal models of computation, including finite state automata, Turing machines, recursive functions, formal grammars, and abstract complexity theory.