Our class will be concentrating on Automata Theory and Decidability Theory. This text should be available in the book store. If time permits we will also introduce Section 6.4. The University policy on finals does not allow for other exceptions. Please let me know at least 2 weeks prior to the scheduled Final time if you meet that condition.
Homework is assigned for each Chapter.
I will be posting homework solutions here the day after the assignment is due. As a result, no late homework will be accepted. If you FAX it to me be sure to make the first page a cover sheet with my name clearly indicated as the recipient. A FAX with no cover sheet may be thrown away at my office. I will let you know here and in class the date each homework is due.