Bulletin 2012-2013 > Courses > CS - Computer Science > 400 > CS 451
Introduction to finite automata, Turing machines, formal languages, and computability.