發送短信: Theory of computation