发送短信: Switching and finite automata theory /