SMS dit: The theory of computation /