Post's Correspondence Problems in the Theory of Automata, Formal Languages and Computation were neatly explained by Prof.Kamala Krithivasan, Department of Computer Science and Engineering, IIT Madras. Feel free to share your ideas and ask your doubts here....