Grading Scheme for Quiz 1

Part I: Out of 5 points
	-1: Forgot to circle the tutorial.
	-3: Forgot either the name or the student number
	-5: If neither name or number on the quiz

Part II:
   Part a: Out of 5 points
	-1 if Sigma is missing or incorrect
	-1 if Gamma is missing or incorrect
	-1 if Q is missing

	The transition function is worth 3 points.
	-3 if the transition function is missing or very difficult to understand
	-1 if the transition function is incomplete
	-1 if the transition function is missing comments or 
	   otherwise not easy to read

   Part b: Out of 5 points
	A correct proof will score between 3 and 5 points.
	An incorrect proof will score between 0 and 2 points.

	5: The proof is correct (possibly missing a minor detail or 2)
	4: The proof is mostly correct but is missing some important points
		examples: The proof does not show the TM must halt
			  The proof shows strings in the language are accepted,
			    but the proof that strings not in the language are 
			    rejected has major flaws
	3: The proof is very incomplete but is on the right track
		examples: The proof shows strings in the language are accepted,
			    but does not show strings not in the language are 
			    rejected
			  An answer which is not a proof but which can easily
			    be extended to a proof
	2: The proof fails to prove the TM correct but is a good effort
		example: The proof only shows the TM is correct on some sample
			    strings, but does not prove for all strings
	1: Not a proof, but does show understanding of how a TM works.
		example: The "proof" is only a description of how the TM works
	0: The proof does not demonstrate understanding of the material.


Grader's Comments:
	In general, the students did the first part very well.

	Many proofs are just descriptions and not proofs and so only received
	   1 point.

	Very few students tried to use induction in the proof, and among
	   those who did, many did not use it correctly.

	A few students tried to use multitape machines.  While there is nothing
	   wrong with that, it is hard and time-consuming to FULLY specify such
	   a machine formally.   All of such transition functions were at least
	   incomplete and in most cases specifications were quite messy. 
	   I would suggest they stick to single-tape standard machines when a 
	   formal specification is needed.