Second Sipser's "Introduction to the Theory of Computation"