@misc{indiciaec67756c3fe61, title = {A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata}, author = {Antoine Amarilli and Marc Jeanmougin}, year = {2013}, url = {https://arxiv.org/abs/1207.2819}, note = {Source identifier: 1207.2819} }