发送短信 : Automata, languages, and programming :