Supplemental Materials

Other texts on automata theory:

• John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, second edition, Adison Wesley, 2001.
• John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, 1979.

For the section on general recursion theory

• Michael Machtey and Paul Young, An Introduction to the General Theory of Algorithms, North Holland, 1978.

For undecidability and logic

• Herbert B. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.

For lambda calculus (optional advanced topic)

• J. Roger Hindley and Jonathan P. Seldin, Introduction to Combinators and lambda-Calculus, Cambridge, 1986.
• H. P. Barendregt, The Lambda Calculus Its Syntax and Semantics, Revised Edition, North Holland, 1984.

Lecture Notes:

• Notes from first lecture on mechanics, collaboration policy, etc.

Past Exams:

• Fall 2004 mid-term (pdf).
• Fall 2004 final (pdf).