Supplemental Materials

Code fragments can be found in the directory: Code/FA

Haskell Platform: http://hackage.haskell.org/platform/

Tim Sheard's Haskell resource page: http://web.cecs.pdx.edu/~sheard/course/Cs163/Haskell/HaskellLinks.html

A little tutorial based on HW1.

A sample solution for part of assignment 1.

A grading guide for the Fall 2011 midterm midtermf11gradingcomments.pdf

A grading guide for the Spring 2011 midterm midtermRubric.pdf

The following texts are recommended as supplemental material.

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. ( pptx )
• Huffman's mechanization of the nfa - dfa equivalence proof pdf Isabelle
• Sheard's slides from Fall 07 Lecture 3 ppt pdf
• Sheard's slides from Fall 07 Lecture 4 ppt pdf

Past Exams:

• Fall 2004 mid-term (pdf).
• Fall 2004 final (pdf).
• Spring 2005 mid-term (pdf).
• Follow-up homework from midterm (pdf).
• Spring 2005 final (pdf).
• Fall 2005 mid-term (take home exam) (pdf).
• Fall 2005 final (pdf).
• Spring 2007 mid-term (in class exam) (pdf).
• Spring 2007 final (pdf).
• Fall 2007 final (pdf).
• Fall 2008 final (pdf).
• Spring 2008 midterm (pdf)
• Spring 2008 final (pdf)
• Fall 2008 mid-term (in class exam) (pdf).
• Fall 2008 final (pdf).
• Spring 2009 mid-term (in-class exam) (pdf)
• Spring 2009 final (pdf)
• Fall 2009 mid-term (pdf)
• Fall 2009 final (pdf)
• Spring 2010 mid-term (pdf)
• Spring 2010 final (pdf)
• Fall 2010 mid-term (pdf)
• Fall 2010 final (pdf)
• Spring 2011 mid-term (pdf)
• Spring 2011 mid-term grading guide (pdf)
• Spring 2011 final (pdf)