CSC 4170: Homework Assignments


Policy: Homework will not be graded. Using somebody's help when doing homework is not forbidden. However, the quiz problems will usually come from the homework assignments (one question from the latest two assignments, and one from an earlier assignment). Books or notes will not be allowed during the quiz. 


September 2

Material covered: Slides 0.a - 1.1.b


·        Exercise 0.1 [Note: "N" stands for natural numbers. See page 4]

·        Exercise 0.2

·        Exercise 0.3

·        Exercise 0.4

·        Exercise 0.5

·        Exercise 1.1

September 4

Material covered: Slides 1.1.c - 1.2.b


·        Exercise 1.2  

·        Exercise 1.3

·        Exercise 1.4

·        Exercise 1.5(a,b,c,g,h)

·        Exercise 1.6(a,b,d,e,g,i,k,m,n)

·        Exercise 1.7(a,b,c,d,g)

September 9

Material covered: Slides 1.2.c - 1.2.m


·        Exercise 1.16  

September 11

Material covered: Slides 1.3.a - 1.3.e


·        Exercise 1.18 (a,b,c,d,e,g,k,l,m,n)

·        Exercise 1.20

September 16

Material covered: Slides 1.3.f - 1.3.x


·        Exercise 1.19 

·        Exercise 1.21

September 18

Material covered: Slides 1.4.a - 1.4.e


September 23

Material covered: Nothing new

Assignment: Nothing new


September 25

Material covered: Slides 2.1.a – 2.1.i


September 30

Material covered: Slides 2.1.i – 2.2.e


October 2

Material covered: Slides 2.3.a – 3.1.c1


October 7

Material covered: Slides 3.1.c2 – 3.1.j


·        Design a fragment of a TM that, from a state “Go to the beginning”, goes to the beginning of the tape and state “Done” (Slide 3.1.j).


October 9

Material covered: Slides 3.1.k – 3.2.d


·         Design a fragment of a TM that, beginning from the current cell, shifts the contents of the tape right, typing in the current cell a 0 (Slide 3.1.k). Assume the tape alphabet is {0,1,-}, and that neither 0 nor 1 ever occurs after the leftmost blank on the tape.

·        Design a fragment of a 2-tape TM that swaps the contents of the tapes, from the position where the heads are at the beginning and there are no blanks followed by non-blank symbols (Slide 3.2.c). Tape alphabet: {0,1,-}.

·        State Theorem 3.13 and provide a very brief (half-page or so) yet meaningful and to-the-point explanation of its proof idea. Do not go into (m)any technical details.