Module #6: Turing Machines

Objectives

1. Determine languages detectable by computational devices
   
2. Define Turing Machine
   
3. Use Turing Machines to recognize languages
   
4. Use Turing machines to perform computations
   
5. Create Turing machines for languages or computations
   

Topics

1. Turing Machines
   
2. Recursively Enumerable Languages
   
3. Recursive Languages
   
4. Alternative Turing Machines
   
5. Enumeration
   

Background Material

Hopcroft, Motwani and Ullman: Chapter 8
Kozen: Lectures 28, 29, and 31 & scan 30
Sudkamp: Chapter 8, Chapter 9 (skip 9.6)

0. Text: Lecture 28, 29, (scan) 30, 31
1. Wikepedia: Turing
2. Busch, Shiri & Grahne: Introduction to Turing Machines
3. Busch, Shiri & Grahne: Turing's Thesis and Alternative Turing Machines
4. Busch, Shiri & Grahne: Universal Turing Machines and Countable

Old Homeworks

Homework Fall 05 [PDF]
Solutions [PDF]

Homework Summer 05 [PDF]
Solutions Homework Solutions[DOC] [PDF]