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