Syllabus

Prerequisites

40254: Data Structures

The Lectuer Notes are primarily based on the following books:

Sets, Logic, Computation (The Open Logic Textbook), by Richard Zach, etc. (Set Theory and other Preliminary Concepts)
Introduction to the Theory of Computation (3rd Edition), by Michael Sipser (Primary Reference, Mandatory by the Depratment)
Introduction to Automata Theory, Languages, and Computation (1st Edition), by John Hopcroft, Jeffrey Ullman (Primary Reference, Really Good Book)
Introduction to Languages and the Theory of Computation (5th Edition), by John Martin (Great Exercises)
Formal Languages and Automata (7th Edition), by Peter Linz, Susan H. Rodger (Supplementary Exercises)