Rules: Individual work only. Because theory is abstract, there are generally many variations in concrete answers to problems; if I see strangely similar answers, I'll be pretty suspicious!

The problems: Taken from the end of the chapter.

#1, parts, a, b, d. For part d, trace only "aabb".
#3, parts d,h -- be sure to explain the logic behind your machine!
#8
#12
#17 parts a, f (be sure to provide clear, concise PL proofs!
#18 (hint: CFGs for parts a and b)

To hand in: A very clean and readable write-up. The "Standards for Homework" posted on the web page apply to your work in this class. As theoretical work often involves lots of pondering and erasing I recommend that you (a) work in pencil and (b) use scratch paper to figure it out, then write up the final version neatly.