NPTEL Video Course : Theory of Computation

Lecture 39 - Counter machines and their equivalence to basic TM model