NPTEL Video Course : Theory of Automata, Formal Languages and Computation

Lecture 34 - POST'S Correspondence Problems