Guidelines
It is very important to stay current in this class and these assignments are selected to help you do so. This is where the pain and suffering occur.
Communicating clearly and concisely what you have to say is an important skill you will use throughout your career. All assignments are to be neat and professional. If you cannot clearly communicate something, there is a good chance that you do not yet understand it well.
Assignments will be graded on accuracy, completeness and clarity. Good writing, grammar, punctuation, etc. are extremely important because of the great effect they have on the impact of your work.
*Just state diagrams will be sufficient -- you do not need to give informal descriptions.
**See p. 157 for a definition of "implementation-level description".
***The first edition had a much better version of this problem (based on the existence of God).
****Do not appeal to Rice's Theorem (as does the answer in the book), rather prove these by reduction.
*****Produce an algorithm to solve the problem and analyze its complexity.