發送短信: Theory of computation : (with formal languages)