Twenty First Lecture

Monday, November 13.

Turing Machines

We started with the (semi-)formal definitions, and examples of Turing machine computations (recognizing {a^n b^n c^n } ). This is covered roughly in Chapter 29 of Kozen.