NPTEL Video Course : Theory of Computation

Lecture 40 - TMs can simulate computers, diagonalization proof