Title: Elements of the Theory of Computation 2nd Ed