Finish reading the Manber text, Chapter 9, sections 9.1, 9.2, 9.3, 9.4, and 9.6 on the material we have already covered. We will not cover pattern matching as planned because of time constraints. The next topic will be a rough sketch of the definition of Turing machines and the proof of the unsolvability of the Halting problem. This is covered in a fair amount of detail in the text by Sipser. We will only be able to skim the surface. If you have the Sipser text, read the first part of section 3.1 of the Sipser text, keeping to the intuitive part and skipping the formal details. Then read section 3.3. We will then jump to material in section 4.2 of the Sipser text, on the Halting problem.