You need parts of the ¡­

You need parts of the following textbook.

• Lewis & Papadimitriou: Elements of the Theory of Computation .(second edition)

You will need the following parts.

• From Chapter 4 (Turing Machines): Section 4.1, 4.2, 4.3 (pp. 179-209)and Section 4.7 (pp. 233-244).

• From Chapter 5 (Undecidability): Section 5.1, 5.2, 5.3 and 5.4 (pp. 245-257)