SMS: Theory of computation