Bulletin 2013-2014 > Courses > CS - Computer Science > Graduate Courses > CS 551
Introduction to finite automata, Turing machines, formal languages, and computability.