5. CF Pumping Lemma, Turing Machines