Handouts Solutions to Proof Exercises Proofs of Closure Property Exercises Proofs of Pumping Lemma Exercises Proofs of Undecidability Exercises