Slide 1 January 12, 2015CS21 Lecture 41 CS21 Decidability and Tractability Lecture 4 January 12, 2015 Slide 2 CS21 Lecture 42 Outline Pumping Lemma Pushdown Automata Context-Free…