Pumping Lemmas for Regular Sets and CFL Concepts 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..