SMS dit: Theory of computation /