發送短信 : Formal properties of finite automata and applications :