L9: More TM design and introduction to non-determinstic TMs

Published: Oct. 20, 2011, 7 a.m.

b'More examples of designing Turing Machines to recognize and decide languages. Equivalence of Multi-tape TMs to single-tape TMs. Introduction to Non-deterministic Turing Machines.'