University of Portland Bulletin 2013-2014

CS 551 Theory of Computation

Introduction to finite automata, Turing machines, formal languages, and computability.