COMS W3261
Computer Science Theory
Lecture 13: October 24, 2012
Variants of Turing Machines

Outline

1. Recursive and Recusively Enumerable Languages

2. Programming Techniques for Turing Machines

3. Models of Computation Equivalent to Turing Machines

4. Reading Assignment



aho@cs.columbia.edu