發送短信: Finite-state methods and natural language processing