SMS dit: Introduction To The Theory of Computation /