Title: Topics in the Theory of Computation