发送短信: Theory of computer science : automata,languages and computation