Added pumping lemmas and completeness.
Tightened up the formatting.
Added converted pdf, and the output PDF.