SMS dit: Introduction to the Theory of Computation /